From afbd5a0f5536b0ff48ca943a3f40e45c8f4b8325 Mon Sep 17 00:00:00 2001 From: Nicolas Abril Date: Mon, 8 Jul 2024 18:22:48 +0200 Subject: [PATCH] Don't spell check literal blocks --- cspell.json | 2 +- src/fun/builtins.rs | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/cspell.json b/cspell.json index 72e962277..4aa80d973 100644 --- a/cspell.json +++ b/cspell.json @@ -131,6 +131,6 @@ "/`...`/g", "/`....`/g", "/`.....`/g", - "/```.*\n.*\n```/g" + "/```(.*\n)*```/g" ] } diff --git a/src/fun/builtins.rs b/src/fun/builtins.rs index 6a9692742..f6a3ff258 100644 --- a/src/fun/builtins.rs +++ b/src/fun/builtins.rs @@ -47,8 +47,7 @@ pub const BUILTIN_TYPES: &[&str] = &[LIST, STRING, NAT, TREE, MAP, IO]; impl ParseBook { pub fn builtins() -> Self { - let book = TermParser::new(BUILTINS) - .parse_book(Self::default(), true); + let book = TermParser::new(BUILTINS).parse_book(Self::default(), true); book.unwrap_or_else(|e| panic!("Error parsing builtin file, this should not happen:\n{e}")) } }