about summary refs log tree commit diff
path: root/Cargo.lock
diff options
context:
space:
mode:
authorGriffin Smith <root@gws.fyi>2021-03-14T20·43-0400
committerGriffin Smith <root@gws.fyi>2021-03-14T20·43-0400
commitecb4c0f803e9b408e4fd21c475769eb4dc649d14 (patch)
tree80390b00a6009cea21fbb68cbf56e6a193b478a2 /Cargo.lock
parent7960c3270e1a338f4da40d044a6896df96d82c79 (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.lock14
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"