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}")) } }