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 /src/common/mod.rs | |
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 'src/common/mod.rs')
-rw-r--r-- | src/common/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/common/mod.rs b/src/common/mod.rs index af5974a116fb..8368a6dd180f 100644 --- a/src/common/mod.rs +++ b/src/common/mod.rs @@ -1,4 +1,6 @@ pub(crate) mod env; pub(crate) mod error; +pub(crate) mod namer; pub use error::{Error, Result}; +pub use namer::{Namer, NamerOf}; |