diff options
author | Nadrieril | 2019-04-10 19:16:11 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-10 19:16:11 +0200 |
commit | e1a30c6f248c0c17c97598290a0d94993dbb0325 (patch) | |
tree | 960eb4029f2ba9a824e34219915e942b1b65e4cd /dhall/src/lib.rs | |
parent | 982f86c34f69bb78b45a4b8b37a5bf5731f881eb (diff) |
Add SimpleType and SimpeStaticType. Derive the latter
Diffstat (limited to '')
-rw-r--r-- | dhall/src/lib.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 5c5a641..3bfc46f 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -21,6 +21,7 @@ mod imports; mod normalize; mod traits; mod typecheck; +pub use crate::traits::SimpleStaticType; pub use crate::traits::StaticType; -pub use dhall_generator::StaticType; +pub use dhall_generator::SimpleStaticType; pub mod expr; |