summaryrefslogtreecommitdiff
path: root/Cargo.toml
diff options
context:
space:
mode:
authorNadrieril2019-03-11 18:34:36 +0100
committerNadrieril2019-03-11 19:43:19 +0100
commitf88596e2591a143ffb82c1dc8ba0bc4a5249697e (patch)
tree03e9f1098a63a2864faf4160ea7f7713dbc44acb /Cargo.toml
parent7aa00a544e15d4fd33187c470a235ce60a4161d4 (diff)
Update dhall-lang and reactivate prelude tests
Diffstat (limited to 'Cargo.toml')
-rw-r--r--Cargo.toml10
1 files changed, 8 insertions, 2 deletions
diff --git a/Cargo.toml b/Cargo.toml
index 04197e4..74388cb 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,7 +7,13 @@ members = [
"dhall_parser",
]
-# # Prelude tests are too slow when not optimized
+# # Parser is super slow when not optimized
+# [profile.dev.overrides.dhall_parser]
+# opt-level = 3
+# [profile.dev.overrides.dhall_core]
+# opt-level = 3
+# [profile.dev.overrides.dhall]
+# opt-level = 3
# [profile.dev]
-# opt-level = 2
+# opt-level = 3