Improve build script performance (#1921)

tweag · May 20, 2024 · ed815b1 · ed815b1
1 parent 2c7dd14
commit ed815b1
Show file tree

Hide file tree

Showing 3 changed files with 24 additions and 12 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -56,8 +56,8 @@ indexmap = "1.9.3"
 indoc = "2"
 insta = "1.29.0"
 js-sys = "0.3"
-lalrpop = "0.19.9"
-lalrpop-util = "0.19.9"
+lalrpop = "0.20.2"
+lalrpop-util = "0.20.2"
 lazy_static = "1"
 log = "0.4"
 logos = "0.12"
@@ -103,3 +103,9 @@ topiary-queries = { git = "https://github.com/tweag/topiary.git", rev = "82a94a9
 # This should be kept in sync with the revision in topiary
 tree-sitter-nickel = { git = "https://github.com/nickel-lang/tree-sitter-nickel", rev = "58baf89db8fdae54a84bcf22c80ff10ee3f929ed" }
 tempfile = "3.5.0"
+
+[profile.dev.package.lalrpop]
+opt-level = 3
+
+[profile.release.package.lalrpop]
+opt-level = 3
diff --git a/core/src/error/mod.rs b/core/src/error/mod.rs
@@ -706,7 +706,7 @@ impl ParseError {
                 token: (start, _, end),
                 expected,
             } => ParseError::UnexpectedToken(mk_span(file_id, start, end), expected),
-            lalrpop_util::ParseError::UnrecognizedEOF { expected, .. } => {
+            lalrpop_util::ParseError::UnrecognizedEof { expected, .. } => {
                 ParseError::UnexpectedEOF(file_id, expected)
             }
             lalrpop_util::ParseError::ExtraToken {