From e28d9e6f2422f47e250304e053238adc458f6a98 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 20 Mar 2020 11:40:09 +0000
Subject: Commit output of printer

---
 dhall/tests/parser/success/recordB.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 dhall/tests/parser/success/recordB.txt

(limited to 'dhall/tests/parser/success/recordB.txt')

diff --git a/dhall/tests/parser/success/recordB.txt b/dhall/tests/parser/success/recordB.txt
new file mode 100644
index 0000000..e2c50f9
--- /dev/null
+++ b/dhall/tests/parser/success/recordB.txt
@@ -0,0 +1 @@
+{ bar = 2, baz = True, foo = +1 } : { bar : Natural, baz : Bool, foo : Integer }
-- 
cgit v1.2.3