diff options
author | Nadrieril | 2019-03-11 18:34:36 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-11 19:43:19 +0100 |
commit | f88596e2591a143ffb82c1dc8ba0bc4a5249697e (patch) | |
tree | 03e9f1098a63a2864faf4160ea7f7713dbc44acb /Cargo.toml | |
parent | 7aa00a544e15d4fd33187c470a235ce60a4161d4 (diff) |
Update dhall-lang and reactivate prelude tests
Diffstat (limited to '')
-rw-r--r-- | Cargo.toml | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -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 |