summaryrefslogtreecommitdiff
path: root/tests_buffer
diff options
context:
space:
mode:
authorNadrieril2019-08-10 22:48:21 +0200
committerNadrieril2019-08-10 22:48:35 +0200
commit80c8d87db595c91293af75d710464ac5379c7e28 (patch)
treecedc8ca740ca0d0bbc74fc987cc0c041f0391b91 /tests_buffer
parent4d94c3bbf955c5c32cee0651820484c4e4b6cd90 (diff)
Update dhall-lang submodule
Diffstat (limited to '')
-rw-r--r--tests_buffer3
1 files changed, 2 insertions, 1 deletions
diff --git a/tests_buffer b/tests_buffer
index 4f8a375..c6366ba 100644
--- a/tests_buffer
+++ b/tests_buffer
@@ -7,6 +7,8 @@ success/
operators/
PrecedenceAll1 a ? b || c + d ++ e # f && g ∧ h ⫽ i ⩓ j * k == l != m n.o
PrecedenceAll2 a b != c == d * e ⩓ f ⫽ g ∧ h && i # j ++ k + l || m ? n
+ LetNoAnnot let x = y in e
+ LetAnnot let x: T = y in e
failure/
AssertNoAnnotation assert
@@ -23,7 +25,6 @@ failure/
normalization:
variables across import boundaries
Text/show ""
- Double/show -1.5e-10
TextLitNested1 "${""}${x}"
TextLitNested2 "${"${x}"}"
TextLitNested3 "${"${""}"}${x}"