diff options
| author | Nadrieril | 2020-02-09 11:53:55 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-09 20:13:23 +0000 |
| commit | 6c90d356c9a4a5bbeb88f25ad0ab499ba1503eae (patch) | |
| tree | b2262fc5468eb4d65ceef713991e51b5dc66b044 /dhall/src/semantics/tck/env.rs | |
| parent | 27031b3739ff9f2043e64130a4c5699d0f9233e8 (diff) | |
Remove most TyExpr from normalization
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/semantics/tck/env.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/semantics/tck/env.rs b/dhall/src/semantics/tck/env.rs index b3e7895..af955f4 100644 --- a/dhall/src/semantics/tck/env.rs +++ b/dhall/src/semantics/tck/env.rs @@ -21,9 +21,9 @@ pub(crate) struct TyEnv { } impl VarEnv { - pub fn new() -> Self { - VarEnv { size: 0 } - } + // pub fn new() -> Self { + // VarEnv { size: 0 } + // } pub fn size(&self) -> usize { self.size } |