summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-05-05 01:12:19 +0200
committerNadrieril2019-05-05 01:12:19 +0200
commit929db5780ceff67a042d6417d08d224da59efc7a (patch)
tree1ba091dfb2971e4408ea043922e65b04a1ab0804 /dhall/src
parent559df737c02cc534851ab6e11e930112b03c00ed (diff)
Fix Integer equality
Diffstat (limited to '')
-rw-r--r--dhall/src/normalize.rs9
1 files changed, 5 insertions, 4 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index c11dd82..85df5e2 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -1305,9 +1305,9 @@ fn normalize_whnf(ctx: NormalizationContext, expr: InputSubExpr) -> Value {
fn normalize_one_layer(expr: ExprF<Thunk, Label, X>) -> Value {
use Value::{
- BoolLit, EmptyListLit, EmptyOptionalLit, Lam, NEListLit, NEOptionalLit,
- NaturalLit, Pi, RecordLit, RecordType, TextLit, UnionConstructor,
- UnionLit, UnionType,
+ BoolLit, EmptyListLit, EmptyOptionalLit, IntegerLit, Lam, NEListLit,
+ NEOptionalLit, NaturalLit, Pi, RecordLit, RecordType, TextLit,
+ UnionConstructor, UnionLit, UnionType,
};
// Small helper enum to avoid repetition
@@ -1338,7 +1338,8 @@ fn normalize_one_layer(expr: ExprF<Thunk, Label, X>) -> Value {
ExprF::Const(c) => RetValue(Value::Const(c)),
ExprF::BoolLit(b) => RetValue(BoolLit(b)),
ExprF::NaturalLit(n) => RetValue(NaturalLit(n)),
- ExprF::IntegerLit(_) | ExprF::DoubleLit(_) => RetExpr(expr),
+ ExprF::IntegerLit(n) => RetValue(IntegerLit(n)),
+ ExprF::DoubleLit(_) => RetExpr(expr),
ExprF::OldOptionalLit(None, t) => {
RetValue(EmptyOptionalLit(TypeThunk::from_thunk(t)))
}