diff options
author | Nadrieril Feneanar | 2020-03-20 12:31:17 +0000 |
---|---|---|
committer | GitHub | 2020-03-20 12:31:17 +0000 |
commit | 1088394da2270fb1c53f5db2ff3bfca7709f64ab (patch) | |
tree | 08fc691ba174831cb85c0fffa474e58e59a47d8c /dhall/tests/parser/success/builtinsB.txt | |
parent | 98b067309388d3f7c692dd82634e776113ea342b (diff) | |
parent | 4ff536cb593aa022e71042ab4fe008e2381b0680 (diff) |
Merge pull request #152 from Nadrieril/test-printer
Include printer output in tests
Diffstat (limited to '')
-rw-r--r-- | dhall/tests/parser/success/builtinsB.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/tests/parser/success/builtinsB.txt b/dhall/tests/parser/success/builtinsB.txt new file mode 100644 index 0000000..4e3ed79 --- /dev/null +++ b/dhall/tests/parser/success/builtinsB.txt @@ -0,0 +1 @@ +λ(x : { field0 : Bool, field1 : Optional (Optional Bool), field2 : Natural, field3 : Integer, field4 : Double, field5 : Text, field6 : List (List Bool) }) → { field00 = Natural/fold, field01 = Natural/build, field02 = Natural/isZero, field03 = Natural/even, field04 = Natural/odd, field05 = Natural/toInteger, field06 = Natural/show, field07 = Integer/show, field08 = Double/show, field09 = List/build, field10 = List/fold, field11 = List/length, field12 = List/head, field13 = List/last, field14 = List/indexed, field15 = List/reverse, field16 = Optional/fold, field17 = Optional/build, field18 = True, field19 = False, field20 = None } |