summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-08-08 19:45:52 +0200
committerNadrieril2019-08-08 19:45:52 +0200
commit4d94c3bbf955c5c32cee0651820484c4e4b6cd90 (patch)
treebabe260c49d23f6d5c2856f118d757fe7cc2c463 /dhall/src
parent071ba528cd8c6a222be345ddec7560bb45cca6be (diff)
Update dhall-lang submodule
Diffstat (limited to 'dhall/src')
-rw-r--r--dhall/src/phase/normalize.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/phase/normalize.rs b/dhall/src/phase/normalize.rs
index ecad063..405677a 100644
--- a/dhall/src/phase/normalize.rs
+++ b/dhall/src/phase/normalize.rs
@@ -54,6 +54,7 @@ pub fn apply_builtin(b: Builtin, args: Vec<Thunk>) -> Value {
}
(NaturalLit(0), b) => Ok((r, b.clone())),
(_, NaturalLit(0)) => Ok((r, NaturalLit(0))),
+ _ if a == b => Ok((r, NaturalLit(0))),
_ => Err(()),
}
}