diff options
author | Nadrieril | 2020-02-11 13:12:13 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-11 13:14:37 +0000 |
commit | 5a2538d174fd36a8ed7f4fa344b9583fc48bd977 (patch) | |
tree | 0f4ac9d8a7de51958ebdea742e28cb6147cd1502 /dhall/src/semantics/nze/normalize.rs | |
parent | c3ed75dc4b354becac0821e4288105dc2a300c4c (diff) |
Remove the Embed variant from ExprKind
Diffstat (limited to 'dhall/src/semantics/nze/normalize.rs')
-rw-r--r-- | dhall/src/semantics/nze/normalize.rs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/dhall/src/semantics/nze/normalize.rs b/dhall/src/semantics/nze/normalize.rs index d12146a..03b91a5 100644 --- a/dhall/src/semantics/nze/normalize.rs +++ b/dhall/src/semantics/nze/normalize.rs @@ -6,7 +6,6 @@ use crate::semantics::{ Binder, BuiltinClosure, Closure, Hir, HirKind, TextLit, Value, ValueKind, }; use crate::syntax::{BinOp, Builtin, ExprKind, InterpolatedTextContents}; -use crate::Normalized; pub(crate) fn apply_any(f: Value, a: Value) -> ValueKind { match f.kind() { @@ -90,7 +89,7 @@ enum Ret<'a> { ValueKind(ValueKind), Value(Value), ValueRef(&'a Value), - Expr(ExprKind<Value, Normalized>), + Expr(ExprKind<Value>), } fn apply_binop<'a>(o: BinOp, x: &'a Value, y: &'a Value) -> Option<Ret<'a>> { @@ -215,7 +214,7 @@ fn apply_binop<'a>(o: BinOp, x: &'a Value, y: &'a Value) -> Option<Ret<'a>> { } pub(crate) fn normalize_one_layer( - expr: ExprKind<Value, Normalized>, + expr: ExprKind<Value>, env: &NzEnv, ) -> ValueKind { use ValueKind::{ @@ -233,7 +232,6 @@ pub(crate) fn normalize_one_layer( ExprKind::Lam(..) | ExprKind::Pi(..) | ExprKind::Let(..) - | ExprKind::Embed(_) | ExprKind::Var(_) => { unreachable!("This case should have been handled in typecheck") } |