Add normalization test for multiple let bindings (#270)

dhall-lang · Nov 11, 2018 · 33cab24 · 33cab24
1 parent 133c971
commit 33cab24
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/tests/normalization/success/simple/letletA.dhall b/tests/normalization/success/simple/letletA.dhall
@@ -0,0 +1,3 @@
+let l = λ(n : Natural) → λ(m : Natural) → λ(x : Natural) → n + m * x
+let f = l 2 3
+in  f 445
diff --git a/tests/normalization/success/simple/letletB.dhall b/tests/normalization/success/simple/letletB.dhall
@@ -0,0 +1 @@
+1337