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.lock | |
| 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.lock')
| -rw-r--r-- | Cargo.lock | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Cargo.lock b/Cargo.lock index 8ec5ad6cf952..0c5779135a5f 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -5,7 +5,9 @@ name = "achilles" version = "0.1.0" dependencies = [ "anyhow", + "bimap", "clap", + "crate-root", "derive_more", "inkwell", "itertools", @@ -58,6 +60,12 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "cdb031dd78e28731d87d56cc8ffef4a8f36ca26c38fe2de700543e627f8a464a" [[package]] +name = "bimap" +version = "0.6.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "f92b72b8f03128773278bf74418b9205f3d2a12c39a61f92395f47af390c32bf" + +[[package]] name = "bit-set" version = "0.5.2" source = "registry+https://github.com/rust-lang/crates.io-index" @@ -141,6 +149,12 @@ dependencies = [ ] [[package]] +name = "crate-root" +version = "0.1.3" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "59c6fe4622b269032d2c5140a592d67a9c409031d286174fcde172fbed86f0d3" + +[[package]] name = "derive_more" version = "0.99.11" source = "registry+https://github.com/rust-lang/crates.io-index" |