diff options
| author | Griffin Smith <root@gws.fyi> | 2021-03-14T20·43-0400 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2021-03-14T20·43-0400 |
| commit | ecb4c0f803e9b408e4fd21c475769eb4dc649d14 (patch) | |
| tree | 80390b00a6009cea21fbb68cbf56e6a193b478a2 /Cargo.toml | |
| parent | 7960c3270e1a338f4da40d044a6896df96d82c79 (diff) | |
Universally quantified type variables
Implement universally quantified type variables, both explicitly given by the user and inferred by the type inference algorithm.
Diffstat (limited to 'Cargo.toml')
| -rw-r--r-- | Cargo.toml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Cargo.toml b/Cargo.toml index 2ac7d2540961..c0ba4d137a9f 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -6,6 +6,7 @@ edition = "2018" [dependencies] anyhow = "1.0.38" +bimap = "0.6.0" clap = "3.0.0-beta.2" derive_more = "0.99.11" inkwell = { git = "https://github.com/TheDan64/inkwell", branch = "master", features = ["llvm11-0"] } @@ -18,3 +19,6 @@ pratt = "0.3.0" proptest = "1.0.0" test-strategy = "0.1.1" thiserror = "1.0.24" + +[dev-dependencies] +crate-root = "0.1.3" |