diff options
| author | Nadrieril | 2020-01-19 18:30:13 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-19 18:30:13 +0000 |
| commit | aec80599f161096b68cac88ffb8852a61b62fcfa (patch) | |
| tree | 945a87f97f062dcc7b0f4ec2f04dd8bc2da431ef /dhall/src/semantics/tck/mod.rs | |
| parent | 2f19fe1978c0fc8c456563c68ca08eb5b48ef0cd (diff) | |
Restore more types in value_to_tyexpr
Diffstat (limited to 'dhall/src/semantics/tck/mod.rs')
| -rw-r--r-- | dhall/src/semantics/tck/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall/src/semantics/tck/mod.rs b/dhall/src/semantics/tck/mod.rs index 407605d..ba95847 100644 --- a/dhall/src/semantics/tck/mod.rs +++ b/dhall/src/semantics/tck/mod.rs @@ -1,2 +1,4 @@ +pub mod context; pub mod tyexpr; +pub mod typecheck; pub(crate) use tyexpr::*; |