diff options
author | Nadrieril | 2020-02-09 11:23:59 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-09 20:13:23 +0000 |
commit | 27031b3739ff9f2043e64130a4c5699d0f9233e8 (patch) | |
tree | d645b3db409d9cb477ad73e80d419c7bfd717976 /dhall/src/semantics/nze/normalize.rs | |
parent | 5870a46d5ab5810901198f03ed461d5c3bb5aa8a (diff) |
Add Hir as untyped alternative to TyExpr
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/nze/normalize.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/semantics/nze/normalize.rs b/dhall/src/semantics/nze/normalize.rs index c660fce..b5949f5 100644 --- a/dhall/src/semantics/nze/normalize.rs +++ b/dhall/src/semantics/nze/normalize.rs @@ -3,8 +3,8 @@ use std::collections::HashMap; use crate::semantics::NzEnv; use crate::semantics::{ - Binder, BuiltinClosure, Closure, TextLit, TyExpr, TyExprKind, Value, - ValueKind, + Binder, BuiltinClosure, Closure, Hir, HirKind, TextLit, TyExpr, TyExprKind, + Value, ValueKind, }; use crate::syntax::{BinOp, Builtin, ExprKind, InterpolatedTextContents}; use crate::Normalized; |