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/unit/operators/BoolAndAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolAndB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolEQAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolEQB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolNEAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolNEB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolOrAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/BoolOrB.txt | 1 + dhall/tests/parser/success/unit/operators/EquivalenceB.txt | 1 + dhall/tests/parser/success/unit/operators/ImportAltAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/ImportAltB.txt | 1 + dhall/tests/parser/success/unit/operators/ListAppendAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/ListAppendB.txt | 1 + dhall/tests/parser/success/unit/operators/NaturalPlusAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/NaturalPlusB.txt | 1 + dhall/tests/parser/success/unit/operators/NaturalTimesAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/NaturalTimesB.txt | 1 + dhall/tests/parser/success/unit/operators/PrecedenceBoolB.txt | 1 + dhall/tests/parser/success/unit/operators/PrecedenceNatB.txt | 1 + dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt | 1 + dhall/tests/parser/success/unit/operators/RecursiveRecordMergeAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/RecursiveRecordMergeB.txt | 1 + .../parser/success/unit/operators/RecursiveRecordMergeUnicodeAssocB.txt | 1 + .../tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeB.txt | 1 + .../parser/success/unit/operators/RecursiveRecordTypeMergeAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeB.txt | 1 + .../success/unit/operators/RecursiveRecordTypeMergeUnicodeAssocB.txt | 1 + .../parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeB.txt | 1 + .../tests/parser/success/unit/operators/RightBiasedRecordMergeAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeB.txt | 1 + .../success/unit/operators/RightBiasedRecordMergeUnicodeAssocB.txt | 1 + .../parser/success/unit/operators/RightBiasedRecordMergeUnicodeB.txt | 1 + dhall/tests/parser/success/unit/operators/TextAppendAssocB.txt | 1 + dhall/tests/parser/success/unit/operators/TextAppendB.txt | 1 + 34 files changed, 34 insertions(+) create mode 100644 dhall/tests/parser/success/unit/operators/BoolAndAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolAndB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolEQAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolEQB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolNEAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolNEB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolOrAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/BoolOrB.txt create mode 100644 dhall/tests/parser/success/unit/operators/EquivalenceB.txt create mode 100644 dhall/tests/parser/success/unit/operators/ImportAltAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/ImportAltB.txt create mode 100644 dhall/tests/parser/success/unit/operators/ListAppendAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/ListAppendB.txt create mode 100644 dhall/tests/parser/success/unit/operators/NaturalPlusAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/NaturalPlusB.txt create mode 100644 dhall/tests/parser/success/unit/operators/NaturalTimesAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/NaturalTimesB.txt create mode 100644 dhall/tests/parser/success/unit/operators/PrecedenceBoolB.txt create mode 100644 dhall/tests/parser/success/unit/operators/PrecedenceNatB.txt create mode 100644 dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordMergeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordMergeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeB.txt create mode 100644 dhall/tests/parser/success/unit/operators/TextAppendAssocB.txt create mode 100644 dhall/tests/parser/success/unit/operators/TextAppendB.txt (limited to 'dhall/tests/parser/success/unit/operators') diff --git a/dhall/tests/parser/success/unit/operators/BoolAndAssocB.txt b/dhall/tests/parser/success/unit/operators/BoolAndAssocB.txt new file mode 100644 index 0000000..2edfb5d --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolAndAssocB.txt @@ -0,0 +1 @@ +w && x && y && z diff --git a/dhall/tests/parser/success/unit/operators/BoolAndB.txt b/dhall/tests/parser/success/unit/operators/BoolAndB.txt new file mode 100644 index 0000000..7d5be6b --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolAndB.txt @@ -0,0 +1 @@ +x && y diff --git a/dhall/tests/parser/success/unit/operators/BoolEQAssocB.txt b/dhall/tests/parser/success/unit/operators/BoolEQAssocB.txt new file mode 100644 index 0000000..dfc5962 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolEQAssocB.txt @@ -0,0 +1 @@ +w == x == y == z diff --git a/dhall/tests/parser/success/unit/operators/BoolEQB.txt b/dhall/tests/parser/success/unit/operators/BoolEQB.txt new file mode 100644 index 0000000..04dfc84 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolEQB.txt @@ -0,0 +1 @@ +x == y diff --git a/dhall/tests/parser/success/unit/operators/BoolNEAssocB.txt b/dhall/tests/parser/success/unit/operators/BoolNEAssocB.txt new file mode 100644 index 0000000..a09daba --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolNEAssocB.txt @@ -0,0 +1 @@ +w != x != y != z diff --git a/dhall/tests/parser/success/unit/operators/BoolNEB.txt b/dhall/tests/parser/success/unit/operators/BoolNEB.txt new file mode 100644 index 0000000..348bb48 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolNEB.txt @@ -0,0 +1 @@ +x != y diff --git a/dhall/tests/parser/success/unit/operators/BoolOrAssocB.txt b/dhall/tests/parser/success/unit/operators/BoolOrAssocB.txt new file mode 100644 index 0000000..60a3e69 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolOrAssocB.txt @@ -0,0 +1 @@ +w || x || y || z diff --git a/dhall/tests/parser/success/unit/operators/BoolOrB.txt b/dhall/tests/parser/success/unit/operators/BoolOrB.txt new file mode 100644 index 0000000..d3891c2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/BoolOrB.txt @@ -0,0 +1 @@ +x || y diff --git a/dhall/tests/parser/success/unit/operators/EquivalenceB.txt b/dhall/tests/parser/success/unit/operators/EquivalenceB.txt new file mode 100644 index 0000000..f0f3c37 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/EquivalenceB.txt @@ -0,0 +1 @@ +x ≡ y diff --git a/dhall/tests/parser/success/unit/operators/ImportAltAssocB.txt b/dhall/tests/parser/success/unit/operators/ImportAltAssocB.txt new file mode 100644 index 0000000..e788330 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/ImportAltAssocB.txt @@ -0,0 +1 @@ +w ? x ? y ? z diff --git a/dhall/tests/parser/success/unit/operators/ImportAltB.txt b/dhall/tests/parser/success/unit/operators/ImportAltB.txt new file mode 100644 index 0000000..699a2b8 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/ImportAltB.txt @@ -0,0 +1 @@ +x ? y diff --git a/dhall/tests/parser/success/unit/operators/ListAppendAssocB.txt b/dhall/tests/parser/success/unit/operators/ListAppendAssocB.txt new file mode 100644 index 0000000..8d5aee4 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/ListAppendAssocB.txt @@ -0,0 +1 @@ +w # x # y # z diff --git a/dhall/tests/parser/success/unit/operators/ListAppendB.txt b/dhall/tests/parser/success/unit/operators/ListAppendB.txt new file mode 100644 index 0000000..e0f232c --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/ListAppendB.txt @@ -0,0 +1 @@ +x # y diff --git a/dhall/tests/parser/success/unit/operators/NaturalPlusAssocB.txt b/dhall/tests/parser/success/unit/operators/NaturalPlusAssocB.txt new file mode 100644 index 0000000..e728865 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/NaturalPlusAssocB.txt @@ -0,0 +1 @@ +w + x + y + z diff --git a/dhall/tests/parser/success/unit/operators/NaturalPlusB.txt b/dhall/tests/parser/success/unit/operators/NaturalPlusB.txt new file mode 100644 index 0000000..beeb1e5 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/NaturalPlusB.txt @@ -0,0 +1 @@ +x + y diff --git a/dhall/tests/parser/success/unit/operators/NaturalTimesAssocB.txt b/dhall/tests/parser/success/unit/operators/NaturalTimesAssocB.txt new file mode 100644 index 0000000..c9bc609 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/NaturalTimesAssocB.txt @@ -0,0 +1 @@ +w * x * y * z diff --git a/dhall/tests/parser/success/unit/operators/NaturalTimesB.txt b/dhall/tests/parser/success/unit/operators/NaturalTimesB.txt new file mode 100644 index 0000000..d1a067a --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/NaturalTimesB.txt @@ -0,0 +1 @@ +x * y diff --git a/dhall/tests/parser/success/unit/operators/PrecedenceBoolB.txt b/dhall/tests/parser/success/unit/operators/PrecedenceBoolB.txt new file mode 100644 index 0000000..7f204c7 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/PrecedenceBoolB.txt @@ -0,0 +1 @@ +a && b || c d == e || f != g && h || i diff --git a/dhall/tests/parser/success/unit/operators/PrecedenceNatB.txt b/dhall/tests/parser/success/unit/operators/PrecedenceNatB.txt new file mode 100644 index 0000000..c5bb9a2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/PrecedenceNatB.txt @@ -0,0 +1 @@ +a + b * d + e f * (g + h) diff --git a/dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt b/dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt new file mode 100644 index 0000000..772382d --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt @@ -0,0 +1 @@ +a ⫽ b c ∧ d ⫽ e.{ x } ∧ f diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeAssocB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeAssocB.txt new file mode 100644 index 0000000..386f323 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeAssocB.txt @@ -0,0 +1 @@ +w ⩓ x ⩓ y ⩓ z diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeB.txt new file mode 100644 index 0000000..ff04b07 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeB.txt @@ -0,0 +1 @@ +x ⩓ y diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeAssocB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeAssocB.txt new file mode 100644 index 0000000..5642bd0 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeAssocB.txt @@ -0,0 +1 @@ +w ∧ x ∧ y ∧ z diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeB.txt new file mode 100644 index 0000000..072f7c2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordMergeUnicodeB.txt @@ -0,0 +1 @@ +x ∧ y diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeAssocB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeAssocB.txt new file mode 100644 index 0000000..5642bd0 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeAssocB.txt @@ -0,0 +1 @@ +w ∧ x ∧ y ∧ z diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeB.txt new file mode 100644 index 0000000..072f7c2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeB.txt @@ -0,0 +1 @@ +x ∧ y diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeAssocB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeAssocB.txt new file mode 100644 index 0000000..386f323 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeAssocB.txt @@ -0,0 +1 @@ +w ⩓ x ⩓ y ⩓ z diff --git a/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeB.txt b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeB.txt new file mode 100644 index 0000000..ff04b07 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RecursiveRecordTypeMergeUnicodeB.txt @@ -0,0 +1 @@ +x ⩓ y diff --git a/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeAssocB.txt b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeAssocB.txt new file mode 100644 index 0000000..ab41c2b --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeAssocB.txt @@ -0,0 +1 @@ +w ⫽ x ⫽ y ⫽ z diff --git a/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeB.txt b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeB.txt new file mode 100644 index 0000000..e59a5f2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeB.txt @@ -0,0 +1 @@ +x ⫽ y diff --git a/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeAssocB.txt b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeAssocB.txt new file mode 100644 index 0000000..ab41c2b --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeAssocB.txt @@ -0,0 +1 @@ +w ⫽ x ⫽ y ⫽ z diff --git a/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeB.txt b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeB.txt new file mode 100644 index 0000000..e59a5f2 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/RightBiasedRecordMergeUnicodeB.txt @@ -0,0 +1 @@ +x ⫽ y diff --git a/dhall/tests/parser/success/unit/operators/TextAppendAssocB.txt b/dhall/tests/parser/success/unit/operators/TextAppendAssocB.txt new file mode 100644 index 0000000..1f6daf8 --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/TextAppendAssocB.txt @@ -0,0 +1 @@ +w ++ x ++ y ++ z diff --git a/dhall/tests/parser/success/unit/operators/TextAppendB.txt b/dhall/tests/parser/success/unit/operators/TextAppendB.txt new file mode 100644 index 0000000..c745d4b --- /dev/null +++ b/dhall/tests/parser/success/unit/operators/TextAppendB.txt @@ -0,0 +1 @@ +x ++ y -- cgit v1.2.3