diff options
| author | Nadrieril | 2019-08-10 22:48:21 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-10 22:48:35 +0200 |
| commit | 80c8d87db595c91293af75d710464ac5379c7e28 (patch) | |
| tree | cedc8ca740ca0d0bbc74fc987cc0c041f0391b91 /tests_buffer | |
| parent | 4d94c3bbf955c5c32cee0651820484c4e4b6cd90 (diff) | |
Update dhall-lang submodule
Diffstat (limited to '')
| -rw-r--r-- | tests_buffer | 3 |
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}" |