From 80c8d87db595c91293af75d710464ac5379c7e28 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 10 Aug 2019 22:48:21 +0200
Subject: Update dhall-lang submodule

---
 tests_buffer | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'tests_buffer')

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}"
-- 
cgit v1.2.3