diff options
| author | Nadrieril | 2020-01-24 21:33:21 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-24 21:33:21 +0000 |
| commit | b72f0968ac19058b9cc513ab0ed1785133232a3d (patch) | |
| tree | 07647b0f0e3e0f9583d06b4fb1210e6c702d535f /dhall/src/semantics/phase | |
| parent | 9e9b556ee2212540ba43d85249df8c763aa6da2b (diff) | |
Implement basic typecheck with new approach
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/semantics/phase/normalize.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/semantics/phase/normalize.rs b/dhall/src/semantics/phase/normalize.rs index 3ddfb84..e848601 100644 --- a/dhall/src/semantics/phase/normalize.rs +++ b/dhall/src/semantics/phase/normalize.rs @@ -1,3 +1,4 @@ +#![allow(dead_code)] use std::collections::HashMap; use std::convert::TryInto; |