diff options
| author | Nadrieril | 2020-03-20 11:40:09 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-20 12:20:38 +0000 |
| commit | e28d9e6f2422f47e250304e053238adc458f6a98 (patch) | |
| tree | 57966906aa7ae365e8bf1feacf2b5e959073006b /dhall/tests/parser/success/unit/operators | |
| parent | 98b067309388d3f7c692dd82634e776113ea342b (diff) | |
Commit output of printer
Diffstat (limited to 'dhall/tests/parser/success/unit/operators')
34 files changed, 34 insertions, 0 deletions
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 |