diff options
| author | Nadrieril | 2019-04-20 23:13:15 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-20 23:13:15 +0200 |
| commit | b31690a87e2963d4093210a2c58735a2095e651d (patch) | |
| tree | d6bff16ce18dda443aa8b9a2fb31c31f0a502ec4 /Cargo.lock | |
| parent | 9c8ba84fa5d0b392f19e9e9b8569ee2fbe96bd28 (diff) | |
| parent | 83bc67d4572fe7961842f915d5559ee489e13dfd (diff) | |
Merge branch 'whnf'
Massive normalization rewrite, for greatly improved flexibility
and performance.
Closes #84
Diffstat (limited to '')
| -rw-r--r-- | Cargo.lock | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -71,6 +71,7 @@ dependencies = [ "bytecount 0.5.1 (registry+https://github.com/rust-lang/crates.io-index)", "dhall_core 0.1.0", "dhall_generator 0.1.0", + "improved_slice_patterns 2.0.0", "itertools 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)", "pretty_assertions 0.6.1 (registry+https://github.com/rust-lang/crates.io-index)", "serde 1.0.90 (registry+https://github.com/rust-lang/crates.io-index)", @@ -84,7 +85,7 @@ name = "dhall_core" version = "0.1.0" dependencies = [ "dhall_generated_parser 0.1.0", - "improved_slice_patterns 1.0.1", + "improved_slice_patterns 2.0.0", "itertools 0.8.0 (registry+https://github.com/rust-lang/crates.io-index)", "pest 2.1.0 (registry+https://github.com/rust-lang/crates.io-index)", ] @@ -148,7 +149,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" [[package]] name = "improved_slice_patterns" -version = "1.0.1" +version = "2.0.0" [[package]] name = "indexmap" |