A test/normalization/beta/BoolA.dhallb => test/normalization/beta/BoolA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dBool<
\ No newline at end of file
A test/normalization/beta/BoolB.dhallb => test/normalization/beta/BoolB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dBool<
\ No newline at end of file
A test/normalization/beta/IfAlternativesIdenticalA.dhallb => test/normalization/beta/IfAlternativesIdenticalA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axayay<
\ No newline at end of file
A test/normalization/beta/IfAlternativesIdenticalB.dhallb => test/normalization/beta/IfAlternativesIdenticalB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ay<
\ No newline at end of file
A test/normalization/beta/IfFalseA.dhallb => test/normalization/beta/IfFalseA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���<
\ No newline at end of file
A test/normalization/beta/IfFalseB.dhallb => test/normalization/beta/IfFalseB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/IfNormalizePredicateAndBranchesA.dhallb => test/normalization/beta/IfNormalizePredicateAndBranchesA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���axay��aaab��acad<
\ No newline at end of file
A test/normalization/beta/IfNormalizePredicateAndBranchesB.dhallb => test/normalization/beta/IfNormalizePredicateAndBranchesB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axaaac<
\ No newline at end of file
A test/normalization/beta/IfTrivialA.dhallb => test/normalization/beta/IfTrivialA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�ax��<
\ No newline at end of file
A test/normalization/beta/IfTrivialB.dhallb => test/normalization/beta/IfTrivialB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/IfTrueA.dhallb => test/normalization/beta/IfTrueA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0����<
\ No newline at end of file
A test/normalization/beta/IfTrueB.dhallb => test/normalization/beta/IfTrueB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/KindA.dhallb => test/normalization/beta/KindA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dKind<
\ No newline at end of file
A test/normalization/beta/KindB.dhallb => test/normalization/beta/KindB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dKind<
\ No newline at end of file
A test/normalization/beta/ListA.dhallb => test/normalization/beta/ListA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dList<
\ No newline at end of file
A test/normalization/beta/ListB.dhallb => test/normalization/beta/ListB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dList<
\ No newline at end of file
A test/normalization/beta/ListBuildA.dhallb => test/normalization/beta/ListBuildA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0jList/build<
\ No newline at end of file
A test/normalization/beta/ListBuildB.dhallb => test/normalization/beta/ListBuildB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0jList/build<
\ No newline at end of file
A test/normalization/beta/ListBuildFoldFusionA.dhallb => test/normalization/beta/ListBuildFoldFusionA.dhallb +0 -0
A test/normalization/beta/ListBuildFoldFusionB.dhallb => test/normalization/beta/ListBuildFoldFusionB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/ListBuildImplementationA.dhallb => test/normalization/beta/ListBuildImplementationA.dhallb +0 -0
A test/normalization/beta/ListBuildImplementationB.dhallb => test/normalization/beta/ListBuildImplementationB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/ListFoldA.dhallb => test/normalization/beta/ListFoldA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0iList/fold<
\ No newline at end of file
A test/normalization/beta/ListFoldB.dhallb => test/normalization/beta/ListFoldB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0iList/fold<
\ No newline at end of file
A test/normalization/beta/ListFoldEmptyA.dhallb => test/normalization/beta/ListFoldEmptyA.dhallb +0 -0
A test/normalization/beta/ListFoldEmptyB.dhallb => test/normalization/beta/ListFoldEmptyB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/ListFoldOneA.dhallb => test/normalization/beta/ListFoldOneA.dhallb +0 -0
A test/normalization/beta/ListFoldOneB.dhallb => test/normalization/beta/ListFoldOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/ListHeadA.dhallb => test/normalization/beta/ListHeadA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0iList/head<
\ No newline at end of file
A test/normalization/beta/ListHeadB.dhallb => test/normalization/beta/ListHeadB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0iList/head<
\ No newline at end of file
A test/normalization/beta/ListHeadEmptyA.dhallb => test/normalization/beta/ListHeadEmptyA.dhallb +0 -0
A test/normalization/beta/ListHeadEmptyB.dhallb => test/normalization/beta/ListHeadEmptyB.dhallb +0 -0
A test/normalization/beta/ListHeadOneA.dhallb => test/normalization/beta/ListHeadOneA.dhallb +0 -0
A test/normalization/beta/ListHeadOneB.dhallb => test/normalization/beta/ListHeadOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���<
\ No newline at end of file
A test/normalization/beta/ListIndexedA.dhallb => test/normalization/beta/ListIndexedA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lList/indexed<
\ No newline at end of file
A test/normalization/beta/ListIndexedB.dhallb => test/normalization/beta/ListIndexedB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lList/indexed<
\ No newline at end of file
A test/normalization/beta/ListIndexedEmptyA.dhallb => test/normalization/beta/ListIndexedEmptyA.dhallb +0 -0
A test/normalization/beta/ListIndexedEmptyB.dhallb => test/normalization/beta/ListIndexedEmptyB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���eindexgNaturalevalueaT<
\ No newline at end of file
A test/normalization/beta/ListIndexedOneA.dhallb => test/normalization/beta/ListIndexedOneA.dhallb +0 -0
A test/normalization/beta/ListIndexedOneB.dhallb => test/normalization/beta/ListIndexedOneB.dhallb +0 -0
A test/normalization/beta/ListLastA.dhallb => test/normalization/beta/ListLastA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0iList/last<
\ No newline at end of file
A test/normalization/beta/ListLastB.dhallb => test/normalization/beta/ListLastB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0iList/last<
\ No newline at end of file
A test/normalization/beta/ListLastEmptyA.dhallb => test/normalization/beta/ListLastEmptyA.dhallb +0 -0
A test/normalization/beta/ListLastEmptyB.dhallb => test/normalization/beta/ListLastEmptyB.dhallb +0 -0
A test/normalization/beta/ListLastOneA.dhallb => test/normalization/beta/ListLastOneA.dhallb +0 -0
A test/normalization/beta/ListLastOneB.dhallb => test/normalization/beta/ListLastOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���<
\ No newline at end of file
A test/normalization/beta/ListLengthA.dhallb => test/normalization/beta/ListLengthA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0kList/length<
\ No newline at end of file
A test/normalization/beta/ListLengthB.dhallb => test/normalization/beta/ListLengthB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0kList/length<
\ No newline at end of file
A test/normalization/beta/ListLengthEmptyA.dhallb => test/normalization/beta/ListLengthEmptyA.dhallb +0 -0
A test/normalization/beta/ListLengthEmptyB.dhallb => test/normalization/beta/ListLengthEmptyB.dhallb +0 -0
A test/normalization/beta/ListLengthOneA.dhallb => test/normalization/beta/ListLengthOneA.dhallb +0 -0
A test/normalization/beta/ListLengthOneB.dhallb => test/normalization/beta/ListLengthOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/ListNormalizeElementsA.dhallb => test/normalization/beta/ListNormalizeElementsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0����axay<
\ No newline at end of file
A test/normalization/beta/ListNormalizeElementsB.dhallb => test/normalization/beta/ListNormalizeElementsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0��ax<
\ No newline at end of file
A test/normalization/beta/ListNormalizeTypeAnnotationA.dhallb => test/normalization/beta/ListNormalizeTypeAnnotationA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���axay<
\ No newline at end of file
A test/normalization/beta/ListNormalizeTypeAnnotationB.dhallb => test/normalization/beta/ListNormalizeTypeAnnotationB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�ax<
\ No newline at end of file
A test/normalization/beta/ListReverseA.dhallb => test/normalization/beta/ListReverseA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lList/reverse<
\ No newline at end of file
A test/normalization/beta/ListReverseB.dhallb => test/normalization/beta/ListReverseB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lList/reverse<
\ No newline at end of file
A test/normalization/beta/ListReverseEmptyA.dhallb => test/normalization/beta/ListReverseEmptyA.dhallb +0 -0
A test/normalization/beta/ListReverseEmptyB.dhallb => test/normalization/beta/ListReverseEmptyB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�aT<
\ No newline at end of file
A test/normalization/beta/ListReverseTwoA.dhallb => test/normalization/beta/ListReverseTwoA.dhallb +0 -0
A test/normalization/beta/ListReverseTwoB.dhallb => test/normalization/beta/ListReverseTwoB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0����<
\ No newline at end of file
A test/normalization/beta/NaturalA.dhallb => test/normalization/beta/NaturalA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0gNatural<
\ No newline at end of file
A test/normalization/beta/NaturalB.dhallb => test/normalization/beta/NaturalB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0gNatural<
\ No newline at end of file
A test/normalization/beta/NaturalBuildA.dhallb => test/normalization/beta/NaturalBuildA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0mNatural/build<
\ No newline at end of file
A test/normalization/beta/NaturalBuildB.dhallb => test/normalization/beta/NaturalBuildB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0mNatural/build<
\ No newline at end of file
A test/normalization/beta/NaturalBuildFoldFusionA.dhallb => test/normalization/beta/NaturalBuildFoldFusionA.dhallb +0 -0
A test/normalization/beta/NaturalBuildFoldFusionB.dhallb => test/normalization/beta/NaturalBuildFoldFusionB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/NaturalBuildImplementationA.dhallb => test/normalization/beta/NaturalBuildImplementationA.dhallb +0 -0
A test/normalization/beta/NaturalBuildImplementationB.dhallb => test/normalization/beta/NaturalBuildImplementationB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/NaturalEvenA.dhallb => test/normalization/beta/NaturalEvenA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lNatural/even<
\ No newline at end of file
A test/normalization/beta/NaturalEvenB.dhallb => test/normalization/beta/NaturalEvenB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lNatural/even<
\ No newline at end of file
A test/normalization/beta/NaturalEvenOneA.dhallb => test/normalization/beta/NaturalEvenOneA.dhallb +0 -0
A test/normalization/beta/NaturalEvenOneB.dhallb => test/normalization/beta/NaturalEvenOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/NaturalEvenZeroA.dhallb => test/normalization/beta/NaturalEvenZeroA.dhallb +0 -0
A test/normalization/beta/NaturalEvenZeroB.dhallb => test/normalization/beta/NaturalEvenZeroB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/NaturalFoldA.dhallb => test/normalization/beta/NaturalFoldA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lNatural/fold<
\ No newline at end of file
A test/normalization/beta/NaturalFoldB.dhallb => test/normalization/beta/NaturalFoldB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lNatural/fold<
\ No newline at end of file
A test/normalization/beta/NaturalFoldOneA.dhallb => test/normalization/beta/NaturalFoldOneA.dhallb +0 -0
A test/normalization/beta/NaturalFoldOneB.dhallb => test/normalization/beta/NaturalFoldOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/NaturalFoldZeroA.dhallb => test/normalization/beta/NaturalFoldZeroA.dhallb +0 -0
A test/normalization/beta/NaturalFoldZeroB.dhallb => test/normalization/beta/NaturalFoldZeroB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/NaturalIsZeroA.dhallb => test/normalization/beta/NaturalIsZeroA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0nNatural/isZero<
\ No newline at end of file
A test/normalization/beta/NaturalIsZeroB.dhallb => test/normalization/beta/NaturalIsZeroB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0nNatural/isZero<
\ No newline at end of file
A test/normalization/beta/NaturalIsZeroOneA.dhallb => test/normalization/beta/NaturalIsZeroOneA.dhallb +0 -0
A test/normalization/beta/NaturalIsZeroOneB.dhallb => test/normalization/beta/NaturalIsZeroOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/NaturalIsZeroZeroA.dhallb => test/normalization/beta/NaturalIsZeroZeroA.dhallb +0 -0
A test/normalization/beta/NaturalIsZeroZeroB.dhallb => test/normalization/beta/NaturalIsZeroZeroB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/NaturalLiteralA.dhallb => test/normalization/beta/NaturalLiteralA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/NaturalLiteralB.dhallb => test/normalization/beta/NaturalLiteralB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/NaturalOddA.dhallb => test/normalization/beta/NaturalOddA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0kNatural/odd<
\ No newline at end of file
A test/normalization/beta/NaturalOddB.dhallb => test/normalization/beta/NaturalOddB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0kNatural/odd<
\ No newline at end of file
A test/normalization/beta/NaturalOddOneA.dhallb => test/normalization/beta/NaturalOddOneA.dhallb +0 -0
A test/normalization/beta/NaturalOddOneB.dhallb => test/normalization/beta/NaturalOddOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/NaturalOddZeroA.dhallb => test/normalization/beta/NaturalOddZeroA.dhallb +0 -0
A test/normalization/beta/NaturalOddZeroB.dhallb => test/normalization/beta/NaturalOddZeroB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/NaturalShowA.dhallb => test/normalization/beta/NaturalShowA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lNatural/show<
\ No newline at end of file
A test/normalization/beta/NaturalShowB.dhallb => test/normalization/beta/NaturalShowB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lNatural/show<
\ No newline at end of file
A test/normalization/beta/NaturalShowOneA.dhallb => test/normalization/beta/NaturalShowOneA.dhallb +0 -0
A test/normalization/beta/NaturalShowOneB.dhallb => test/normalization/beta/NaturalShowOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�a1<
\ No newline at end of file
A test/normalization/beta/NaturalToIntegerA.dhallb => test/normalization/beta/NaturalToIntegerA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0qNatural/toInteger<
\ No newline at end of file
A test/normalization/beta/NaturalToIntegerB.dhallb => test/normalization/beta/NaturalToIntegerB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0lNatural/show<
\ No newline at end of file
A test/normalization/beta/NaturalToIntegerOneA.dhallb => test/normalization/beta/NaturalToIntegerOneA.dhallb +0 -0
A test/normalization/beta/NaturalToIntegerOneB.dhallb => test/normalization/beta/NaturalToIntegerOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/OperatorAndEquivalentArgumentsA.dhallb => test/normalization/beta/OperatorAndEquivalentArgumentsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axax<
\ No newline at end of file
A test/normalization/beta/OperatorAndEquivalentArgumentsB.dhallb => test/normalization/beta/OperatorAndEquivalentArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorAndLhsFalseA.dhallb => test/normalization/beta/OperatorAndLhsFalseA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0��ax<
\ No newline at end of file
A test/normalization/beta/OperatorAndLhsFalseB.dhallb => test/normalization/beta/OperatorAndLhsFalseB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/OperatorAndLhsTrueA.dhallb => test/normalization/beta/OperatorAndLhsTrueA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0��ax<
\ No newline at end of file
A test/normalization/beta/OperatorAndLhsTrueB.dhallb => test/normalization/beta/OperatorAndLhsTrueB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorAndNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorAndNormalizeArgumentsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���ax��ay<
\ No newline at end of file
A test/normalization/beta/OperatorAndNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorAndNormalizeArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axay<
\ No newline at end of file
A test/normalization/beta/OperatorAndRhsFalseA.dhallb => test/normalization/beta/OperatorAndRhsFalseA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�ax�<
\ No newline at end of file
A test/normalization/beta/OperatorAndRhsFalseB.dhallb => test/normalization/beta/OperatorAndRhsFalseB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/OperatorAndRhsTrueA.dhallb => test/normalization/beta/OperatorAndRhsTrueA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�ax�<
\ No newline at end of file
A test/normalization/beta/OperatorAndRhsTrueB.dhallb => test/normalization/beta/OperatorAndRhsTrueB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorEqualEquivalentArgumentsA.dhallb => test/normalization/beta/OperatorEqualEquivalentArgumentsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axax<
\ No newline at end of file
A test/normalization/beta/OperatorEqualEquivalentArgumentsB.dhallb => test/normalization/beta/OperatorEqualEquivalentArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/OperatorEqualLhsTrueA.dhallb => test/normalization/beta/OperatorEqualLhsTrueA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�ax�<
\ No newline at end of file
A test/normalization/beta/OperatorEqualLhsTrueB.dhallb => test/normalization/beta/OperatorEqualLhsTrueB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorEqualNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorEqualNormalizeArgumentsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���ax��ay<
\ No newline at end of file
A test/normalization/beta/OperatorEqualNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorEqualNormalizeArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axay<
\ No newline at end of file
A test/normalization/beta/OperatorEqualRhsTrueA.dhallb => test/normalization/beta/OperatorEqualRhsTrueA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0��ax<
\ No newline at end of file
A test/normalization/beta/OperatorEqualRhsTrueB.dhallb => test/normalization/beta/OperatorEqualRhsTrueB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorListConcatenateLhsEmptyA.dhallb => test/normalization/beta/OperatorListConcatenateLhsEmptyA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�ax�aT<
\ No newline at end of file
A test/normalization/beta/OperatorListConcatenateLhsEmptyB.dhallb => test/normalization/beta/OperatorListConcatenateLhsEmptyB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorListConcatenateListListA.dhallb => test/normalization/beta/OperatorListConcatenateListListA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���ax��ay<
\ No newline at end of file
A test/normalization/beta/OperatorListConcatenateListListB.dhallb => test/normalization/beta/OperatorListConcatenateListListB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0��axay<
\ No newline at end of file
A test/normalization/beta/OperatorListConcatenateNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorListConcatenateNormalizeArgumentsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���aTax��aTay<
\ No newline at end of file
A test/normalization/beta/OperatorListConcatenateNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorListConcatenateNormalizeArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axay<
\ No newline at end of file
A test/normalization/beta/OperatorListConcatenateRhsEmptyA.dhallb => test/normalization/beta/OperatorListConcatenateRhsEmptyA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0��aTax<
\ No newline at end of file
A test/normalization/beta/OperatorListConcatenateRhsEmptyB.dhallb => test/normalization/beta/OperatorListConcatenateRhsEmptyB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorNotEqualEquivalentArgumentsA.dhallb => test/normalization/beta/OperatorNotEqualEquivalentArgumentsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axax<
\ No newline at end of file
A test/normalization/beta/OperatorNotEqualEquivalentArgumentsB.dhallb => test/normalization/beta/OperatorNotEqualEquivalentArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/OperatorNotEqualLhsFalseA.dhallb => test/normalization/beta/OperatorNotEqualLhsFalseA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0��ax<
\ No newline at end of file
A test/normalization/beta/OperatorNotEqualLhsFalseB.dhallb => test/normalization/beta/OperatorNotEqualLhsFalseB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorNotEqualNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorNotEqualNormalizeArgumentsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���ax��ay<
\ No newline at end of file
A test/normalization/beta/OperatorNotEqualNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorNotEqualNormalizeArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axay<
\ No newline at end of file
A test/normalization/beta/OperatorNotEqualRhsFalseA.dhallb => test/normalization/beta/OperatorNotEqualRhsFalseA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�ax�<
\ No newline at end of file
A test/normalization/beta/OperatorNotEqualRhsFalseB.dhallb => test/normalization/beta/OperatorNotEqualRhsFalseB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorOrEquivalentArgumentsA.dhallb => test/normalization/beta/OperatorOrEquivalentArgumentsA.dhallb +0 -0
A test/normalization/beta/OperatorOrEquivalentArgumentsB.dhallb => test/normalization/beta/OperatorOrEquivalentArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorOrLhsFalseA.dhallb => test/normalization/beta/OperatorOrLhsFalseA.dhallb +0 -0
A test/normalization/beta/OperatorOrLhsFalseB.dhallb => test/normalization/beta/OperatorOrLhsFalseB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorOrLhsTrueA.dhallb => test/normalization/beta/OperatorOrLhsTrueA.dhallb +0 -0
A test/normalization/beta/OperatorOrLhsTrueB.dhallb => test/normalization/beta/OperatorOrLhsTrueB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/OperatorOrNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorOrNormalizeArgumentsA.dhallb +0 -0
A test/normalization/beta/OperatorOrNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorOrNormalizeArgumentsB.dhallb +0 -0
A test/normalization/beta/OperatorOrRhsFalseA.dhallb => test/normalization/beta/OperatorOrRhsFalseA.dhallb +0 -0
A test/normalization/beta/OperatorOrRhsFalseB.dhallb => test/normalization/beta/OperatorOrRhsFalseB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorOrRhsTrueA.dhallb => test/normalization/beta/OperatorOrRhsTrueA.dhallb +0 -0
A test/normalization/beta/OperatorOrRhsTrueB.dhallb => test/normalization/beta/OperatorOrRhsTrueB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/OperatorPlusLhsZeroA.dhallb => test/normalization/beta/OperatorPlusLhsZeroA.dhallb +0 -0
A test/normalization/beta/OperatorPlusLhsZeroB.dhallb => test/normalization/beta/OperatorPlusLhsZeroB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorPlusNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorPlusNormalizeArgumentsA.dhallb +0 -0
A test/normalization/beta/OperatorPlusNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorPlusNormalizeArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axay<
\ No newline at end of file
A test/normalization/beta/OperatorPlusOneAndOneA.dhallb => test/normalization/beta/OperatorPlusOneAndOneA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���<
\ No newline at end of file
A test/normalization/beta/OperatorPlusOneAndOneB.dhallb => test/normalization/beta/OperatorPlusOneAndOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/OperatorPlusRhsZeroA.dhallb => test/normalization/beta/OperatorPlusRhsZeroA.dhallb +0 -0
A test/normalization/beta/OperatorPlusRhsZeroB.dhallb => test/normalization/beta/OperatorPlusRhsZeroB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorTextConcatenateLhsEmptyA.dhallb => test/normalization/beta/OperatorTextConcatenateLhsEmptyA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0��`ax<
\ No newline at end of file
A test/normalization/beta/OperatorTextConcatenateLhsEmptyB.dhallb => test/normalization/beta/OperatorTextConcatenateLhsEmptyB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorTextConcatenateNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorTextConcatenateNormalizeArgumentsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���`ax��`ay<
\ No newline at end of file
A test/normalization/beta/OperatorTextConcatenateNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorTextConcatenateNormalizeArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axay<
\ No newline at end of file
A test/normalization/beta/OperatorTextConcatenateRhsEmptyA.dhallb => test/normalization/beta/OperatorTextConcatenateRhsEmptyA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�ax�`<
\ No newline at end of file
A test/normalization/beta/OperatorTextConcatenateRhsEmptyB.dhallb => test/normalization/beta/OperatorTextConcatenateRhsEmptyB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorTextConcatenateTextTextA.dhallb => test/normalization/beta/OperatorTextConcatenateTextTextA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0��ax�ay<
\ No newline at end of file
A test/normalization/beta/OperatorTextConcatenateTextTextB.dhallb => test/normalization/beta/OperatorTextConcatenateTextTextB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�bxy<
\ No newline at end of file
A test/normalization/beta/OperatorTimesLhsOneA.dhallb => test/normalization/beta/OperatorTimesLhsOneA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0��ax<
\ No newline at end of file
A test/normalization/beta/OperatorTimesLhsOneB.dhallb => test/normalization/beta/OperatorTimesLhsOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorTimesLhsZeroA.dhallb => test/normalization/beta/OperatorTimesLhsZeroA.dhallb +0 -0
A test/normalization/beta/OperatorTimesLhsZeroB.dhallb => test/normalization/beta/OperatorTimesLhsZeroB.dhallb +0 -0
A test/normalization/beta/OperatorTimesNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorTimesNormalizeArgumentsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���ax��ay<
\ No newline at end of file
A test/normalization/beta/OperatorTimesNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorTimesNormalizeArgumentsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�axay<
\ No newline at end of file
A test/normalization/beta/OperatorTimesRhsOneA.dhallb => test/normalization/beta/OperatorTimesRhsOneA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�ax�<
\ No newline at end of file
A test/normalization/beta/OperatorTimesRhsOneB.dhallb => test/normalization/beta/OperatorTimesRhsOneB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/OperatorTimesRhsZeroA.dhallb => test/normalization/beta/OperatorTimesRhsZeroA.dhallb +0 -0
A test/normalization/beta/OperatorTimesRhsZeroB.dhallb => test/normalization/beta/OperatorTimesRhsZeroB.dhallb +0 -0
A test/normalization/beta/OperatorTimesTwoAndTwoA.dhallb => test/normalization/beta/OperatorTimesTwoAndTwoA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0���<
\ No newline at end of file
A test/normalization/beta/OperatorTimesTwoAndTwoB.dhallb => test/normalization/beta/OperatorTimesTwoAndTwoB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/SortA.dhallb => test/normalization/beta/SortA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dSort<
\ No newline at end of file
A test/normalization/beta/SortB.dhallb => test/normalization/beta/SortB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dSort<
\ No newline at end of file
A test/normalization/beta/TextA.dhallb => test/normalization/beta/TextA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dText<
\ No newline at end of file
A test/normalization/beta/TextB.dhallb => test/normalization/beta/TextB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dText<
\ No newline at end of file
A test/normalization/beta/TextInterpolateA.dhallb => test/normalization/beta/TextInterpolateA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�as�abax``<
\ No newline at end of file
A test/normalization/beta/TextInterpolateB.dhallb => test/normalization/beta/TextInterpolateB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�bsbax`<
\ No newline at end of file
A test/normalization/beta/TextLiteralA.dhallb => test/normalization/beta/TextLiteralA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�as<
\ No newline at end of file
A test/normalization/beta/TextLiteralB.dhallb => test/normalization/beta/TextLiteralB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�as<
\ No newline at end of file
A test/normalization/beta/TextNormalizeInterpolationsA.dhallb => test/normalization/beta/TextNormalizeInterpolationsA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�as��axay`<
\ No newline at end of file
A test/normalization/beta/TextNormalizeInterpolationsB.dhallb => test/normalization/beta/TextNormalizeInterpolationsB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�asax`<
\ No newline at end of file
A test/normalization/beta/TextShowA.dhallb => test/normalization/beta/TextShowA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0iText/show<
\ No newline at end of file
A test/normalization/beta/TextShowAllEscapesA.dhallb => test/normalization/beta/TextShowAllEscapesA.dhallb +0 -0
A test/normalization/beta/TextShowAllEscapesB.dhallb => test/normalization/beta/TextShowAllEscapesB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�x("\"\u0024\\\b\f\n\r\tツa\u00A0b\u00A0c"<
\ No newline at end of file
A test/normalization/beta/TextShowB.dhallb => test/normalization/beta/TextShowB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0iText/show<
\ No newline at end of file
A test/normalization/beta/TrueA.dhallb => test/normalization/beta/TrueA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/TrueB.dhallb => test/normalization/beta/TrueB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0�<
\ No newline at end of file
A test/normalization/beta/TypeA.dhallb => test/normalization/beta/TypeA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dType<
\ No newline at end of file
A test/normalization/beta/TypeB.dhallb => test/normalization/beta/TypeB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0dType<
\ No newline at end of file
A test/normalization/beta/VariableA.dhallb => test/normalization/beta/VariableA.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/normalization/beta/VariableB.dhallb => test/normalization/beta/VariableB.dhallb +1 -0
@@ 0,0 1,1 @@
+�e5.0.0ax<
\ No newline at end of file
A test/test_normalization.rb => test/test_normalization.rb +23 -0
@@ 0,0 1,23 @@
+# frozen_string_literal: true
+
+require "minitest/autorun"
+require "pathname"
+
+require "dhall/ast"
+require "dhall/binary"
+require "dhall/normalize"
+
+DIRPATH = Pathname.new(File.dirname(__FILE__))
+TESTS = DIRPATH + "normalization/beta/"
+
+class TestParser < Minitest::Test
+ Pathname.glob(TESTS + "*A.dhallb").each do |path|
+ test = path.basename("A.dhallb").to_s
+ define_method("test_#{test}") do
+ assert_equal(
+ Dhall.from_binary(TESTS + "#{test}B.dhallb"),
+ Dhall.from_binary(path.read).normalize
+ )
+ end
+ end
+end