diff options
| author | Nadrieril Feneanar | 2020-02-02 18:21:38 +0000 |
|---|---|---|
| committer | GitHub | 2020-02-02 18:21:38 +0000 |
| commit | b7b5a0d27eb0cccdcd0c532a7042b3514eacbe40 (patch) | |
| tree | a65cf1d2a53d67d2ea8f808c9a8408a8f96713e7 /dhall/Cargo.toml | |
| parent | 72a6fef65bb3d34be1f501a1f6de66fb8a54fa04 (diff) | |
| parent | f3681f7a32ddb78db4d564769b50b697c54ebeac (diff) | |
Merge pull request #127 from Nadrieril/nicer-type-errors
Enable multiple locations for type errors
Diffstat (limited to '')
| -rw-r--r-- | dhall/Cargo.toml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/Cargo.toml b/dhall/Cargo.toml index 2fbfb23..3281e4a 100644 --- a/dhall/Cargo.toml +++ b/dhall/Cargo.toml @@ -10,10 +10,11 @@ edition = "2018" build = "build.rs" [dependencies] +annotate-snippets = "0.6.1" itertools = "0.8.0" hex = "0.3.2" lazy_static = "1.4.0" - once_cell = "1.3.1" +once_cell = "1.3.1" percent-encoding = "2.1.0" pest = "2.1" pest_consume = "1.0" |