M lib/dhall/binary.rb => lib/dhall/binary.rb +1 -6
@@ 7,12 7,7 @@ require "dhall/builtins"
module Dhall
def self.from_binary(cbor_binary)
- data = CBOR.decode(cbor_binary)
- if data.is_a?(Array) && data[0] == "5.0.0"
- decode(data[1])
- else
- decode(data)
- end
+ decode(CBOR.decode(cbor_binary))
end
def self.decode(expression)
M test/normalization/beta/BoolA.dhallb => test/normalization/beta/BoolA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dBool>
\ No newline at end of file
+dBool<
\ No newline at end of file
M test/normalization/beta/BoolB.dhallb => test/normalization/beta/BoolB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dBool>
\ No newline at end of file
+dBool<
\ No newline at end of file
M test/normalization/beta/DoubleA.dhallb => test/normalization/beta/DoubleA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0fDouble>
\ No newline at end of file
+fDouble<
\ No newline at end of file
M test/normalization/beta/DoubleB.dhallb => test/normalization/beta/DoubleB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0fDouble>
\ No newline at end of file
+fDouble<
\ No newline at end of file
M test/normalization/beta/DoubleLiteralA.dhallb => test/normalization/beta/DoubleLiteralA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�?�333333>
\ No newline at end of file
+�?�333333<
\ No newline at end of file
M test/normalization/beta/DoubleLiteralB.dhallb => test/normalization/beta/DoubleLiteralB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�?�333333>
\ No newline at end of file
+�?�333333<
\ No newline at end of file
M test/normalization/beta/DoubleShowA.dhallb => test/normalization/beta/DoubleShowA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0kDouble/show>
\ No newline at end of file
+kDouble/show<
\ No newline at end of file
M test/normalization/beta/DoubleShowB.dhallb => test/normalization/beta/DoubleShowB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0kDouble/show>
\ No newline at end of file
+kDouble/show<
\ No newline at end of file
M test/normalization/beta/DoubleShowValueA.dhallb => test/normalization/beta/DoubleShowValueA.dhallb +0 -0
M test/normalization/beta/DoubleShowValueB.dhallb => test/normalization/beta/DoubleShowValueB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�c1.2>
\ No newline at end of file
+�c1.2<
\ No newline at end of file
M test/normalization/beta/FunctionApplicationCaptureA.dhallb => test/normalization/beta/FunctionApplicationCaptureA.dhallb +0 -0
M test/normalization/beta/FunctionApplicationCaptureB.dhallb => test/normalization/beta/FunctionApplicationCaptureB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/FunctionApplicationNoSubstituteA.dhallb => test/normalization/beta/FunctionApplicationNoSubstituteA.dhallb +0 -0
M test/normalization/beta/FunctionApplicationNoSubstituteB.dhallb => test/normalization/beta/FunctionApplicationNoSubstituteB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ay>
\ No newline at end of file
+ay<
\ No newline at end of file
M test/normalization/beta/FunctionApplicationNormalizeArgumentsA.dhallb => test/normalization/beta/FunctionApplicationNormalizeArgumentsA.dhallb +0 -0
M test/normalization/beta/FunctionApplicationNormalizeArgumentsB.dhallb => test/normalization/beta/FunctionApplicationNormalizeArgumentsB.dhallb +0 -0
M test/normalization/beta/FunctionApplicationSubstituteA.dhallb => test/normalization/beta/FunctionApplicationSubstituteA.dhallb +0 -0
M test/normalization/beta/FunctionApplicationSubstituteB.dhallb => test/normalization/beta/FunctionApplicationSubstituteB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ay>
\ No newline at end of file
+ay<
\ No newline at end of file
M test/normalization/beta/FunctionNormalizeArgumentsA.dhallb => test/normalization/beta/FunctionNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax��aXaY��axay>
\ No newline at end of file
+�ax��aXaY��axay<
\ No newline at end of file
M test/normalization/beta/FunctionNormalizeArgumentsB.dhallb => test/normalization/beta/FunctionNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axaXax>
\ No newline at end of file
+�axaXax<
\ No newline at end of file
M test/normalization/beta/FunctionTypeNormalizeArgumentsA.dhallb => test/normalization/beta/FunctionTypeNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax��aXaY��aAaB>
\ No newline at end of file
+�ax��aXaY��aAaB<
\ No newline at end of file
M test/normalization/beta/FunctionTypeNormalizeArgumentsB.dhallb => test/normalization/beta/FunctionTypeNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axaXaA>
\ No newline at end of file
+�axaXaA<
\ No newline at end of file
M test/normalization/beta/IfAlternativesIdenticalA.dhallb => test/normalization/beta/IfAlternativesIdenticalA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axayay>
\ No newline at end of file
+�axayay<
\ No newline at end of file
M test/normalization/beta/IfAlternativesIdenticalB.dhallb => test/normalization/beta/IfAlternativesIdenticalB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ay>
\ No newline at end of file
+ay<
\ No newline at end of file
M test/normalization/beta/IfFalseA.dhallb => test/normalization/beta/IfFalseA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���>
\ No newline at end of file
+���<
\ No newline at end of file
M test/normalization/beta/IfFalseB.dhallb => test/normalization/beta/IfFalseB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/IfNormalizePredicateAndBranchesA.dhallb => test/normalization/beta/IfNormalizePredicateAndBranchesA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���axay��aaab��acad>
\ No newline at end of file
+���axay��aaab��acad<
\ No newline at end of file
M test/normalization/beta/IfNormalizePredicateAndBranchesB.dhallb => test/normalization/beta/IfNormalizePredicateAndBranchesB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axaaac>
\ No newline at end of file
+�axaaac<
\ No newline at end of file
M test/normalization/beta/IfTrivialA.dhallb => test/normalization/beta/IfTrivialA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax��>
\ No newline at end of file
+�ax��<
\ No newline at end of file
M test/normalization/beta/IfTrivialB.dhallb => test/normalization/beta/IfTrivialB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/IfTrueA.dhallb => test/normalization/beta/IfTrueA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0����>
\ No newline at end of file
+����<
\ No newline at end of file
M test/normalization/beta/IfTrueB.dhallb => test/normalization/beta/IfTrueB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/IntegerA.dhallb => test/normalization/beta/IntegerA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0gInteger>
\ No newline at end of file
+gInteger<
\ No newline at end of file
M test/normalization/beta/IntegerB.dhallb => test/normalization/beta/IntegerB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0gInteger>
\ No newline at end of file
+gInteger<
\ No newline at end of file
M test/normalization/beta/IntegerNegativeA.dhallb => test/normalization/beta/IntegerNegativeA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� >
\ No newline at end of file
+� <
\ No newline at end of file
M test/normalization/beta/IntegerNegativeB.dhallb => test/normalization/beta/IntegerNegativeB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� >
\ No newline at end of file
+� <
\ No newline at end of file
M test/normalization/beta/IntegerPositiveA.dhallb => test/normalization/beta/IntegerPositiveA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/IntegerPositiveB.dhallb => test/normalization/beta/IntegerPositiveB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/IntegerShow-12A.dhallb => test/normalization/beta/IntegerShow-12A.dhallb +0 -0
M test/normalization/beta/IntegerShow-12B.dhallb => test/normalization/beta/IntegerShow-12B.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�c-12>
\ No newline at end of file
+�c-12<
\ No newline at end of file
M test/normalization/beta/IntegerShow12A.dhallb => test/normalization/beta/IntegerShow12A.dhallb +0 -0
M test/normalization/beta/IntegerShow12B.dhallb => test/normalization/beta/IntegerShow12B.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�c+12>
\ No newline at end of file
+�c+12<
\ No newline at end of file
M test/normalization/beta/IntegerShowA.dhallb => test/normalization/beta/IntegerShowA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lInteger/show>
\ No newline at end of file
+lInteger/show<
\ No newline at end of file
M test/normalization/beta/IntegerShowB.dhallb => test/normalization/beta/IntegerShowB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lInteger/show>
\ No newline at end of file
+lInteger/show<
\ No newline at end of file
M test/normalization/beta/IntegerToDouble-12A.dhallb => test/normalization/beta/IntegerToDouble-12A.dhallb +0 -0
M test/normalization/beta/IntegerToDouble-12B.dhallb => test/normalization/beta/IntegerToDouble-12B.dhallb +0 -0
M test/normalization/beta/IntegerToDouble12A.dhallb => test/normalization/beta/IntegerToDouble12A.dhallb +0 -0
M test/normalization/beta/IntegerToDouble12B.dhallb => test/normalization/beta/IntegerToDouble12B.dhallb +0 -0
M test/normalization/beta/IntegerToDoubleA.dhallb => test/normalization/beta/IntegerToDoubleA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0pInteger/toDouble>
\ No newline at end of file
+pInteger/toDouble<
\ No newline at end of file
M test/normalization/beta/IntegerToDoubleB.dhallb => test/normalization/beta/IntegerToDoubleB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0pInteger/toDouble>
\ No newline at end of file
+pInteger/toDouble<
\ No newline at end of file
M test/normalization/beta/KindA.dhallb => test/normalization/beta/KindA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dKind>
\ No newline at end of file
+dKind<
\ No newline at end of file
M test/normalization/beta/KindB.dhallb => test/normalization/beta/KindB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dKind>
\ No newline at end of file
+dKind<
\ No newline at end of file
M test/normalization/beta/LetA.dhallb => test/normalization/beta/LetA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax�ayax>
\ No newline at end of file
+�ax�ayax<
\ No newline at end of file
M test/normalization/beta/LetB.dhallb => test/normalization/beta/LetB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ay>
\ No newline at end of file
+ay<
\ No newline at end of file
M test/normalization/beta/LetWithTypeA.dhallb => test/normalization/beta/LetWithTypeA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axaAayax>
\ No newline at end of file
+�axaAayax<
\ No newline at end of file
M test/normalization/beta/LetWithTypeB.dhallb => test/normalization/beta/LetWithTypeB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ay>
\ No newline at end of file
+ay<
\ No newline at end of file
M test/normalization/beta/ListA.dhallb => test/normalization/beta/ListA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dList>
\ No newline at end of file
+dList<
\ No newline at end of file
M test/normalization/beta/ListB.dhallb => test/normalization/beta/ListB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dList>
\ No newline at end of file
+dList<
\ No newline at end of file
M test/normalization/beta/ListBuildA.dhallb => test/normalization/beta/ListBuildA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0jList/build>
\ No newline at end of file
+jList/build<
\ No newline at end of file
M test/normalization/beta/ListBuildB.dhallb => test/normalization/beta/ListBuildB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0jList/build>
\ No newline at end of file
+jList/build<
\ No newline at end of file
M test/normalization/beta/ListBuildFoldFusionA.dhallb => test/normalization/beta/ListBuildFoldFusionA.dhallb +0 -0
M test/normalization/beta/ListBuildFoldFusionB.dhallb => test/normalization/beta/ListBuildFoldFusionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/ListBuildImplementationA.dhallb => test/normalization/beta/ListBuildImplementationA.dhallb +0 -0
M test/normalization/beta/ListBuildImplementationB.dhallb => test/normalization/beta/ListBuildImplementationB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/ListFoldA.dhallb => test/normalization/beta/ListFoldA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0iList/fold>
\ No newline at end of file
+iList/fold<
\ No newline at end of file
M test/normalization/beta/ListFoldB.dhallb => test/normalization/beta/ListFoldB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0iList/fold>
\ No newline at end of file
+iList/fold<
\ No newline at end of file
M test/normalization/beta/ListFoldEmptyA.dhallb => test/normalization/beta/ListFoldEmptyA.dhallb +0 -0
M test/normalization/beta/ListFoldEmptyB.dhallb => test/normalization/beta/ListFoldEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/ListFoldOneA.dhallb => test/normalization/beta/ListFoldOneA.dhallb +0 -0
M test/normalization/beta/ListFoldOneB.dhallb => test/normalization/beta/ListFoldOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/ListHeadA.dhallb => test/normalization/beta/ListHeadA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0iList/head>
\ No newline at end of file
+iList/head<
\ No newline at end of file
M test/normalization/beta/ListHeadB.dhallb => test/normalization/beta/ListHeadB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0iList/head>
\ No newline at end of file
+iList/head<
\ No newline at end of file
M test/normalization/beta/ListHeadEmptyA.dhallb => test/normalization/beta/ListHeadEmptyA.dhallb +0 -0
M test/normalization/beta/ListHeadEmptyB.dhallb => test/normalization/beta/ListHeadEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�aT>
\ No newline at end of file
+�aT<
\ No newline at end of file
M test/normalization/beta/ListHeadOneA.dhallb => test/normalization/beta/ListHeadOneA.dhallb +0 -0
M test/normalization/beta/ListHeadOneB.dhallb => test/normalization/beta/ListHeadOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���>
\ No newline at end of file
+���<
\ No newline at end of file
M test/normalization/beta/ListIndexedA.dhallb => test/normalization/beta/ListIndexedA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lList/indexed>
\ No newline at end of file
+lList/indexed<
\ No newline at end of file
M test/normalization/beta/ListIndexedB.dhallb => test/normalization/beta/ListIndexedB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lList/indexed>
\ No newline at end of file
+lList/indexed<
\ No newline at end of file
M test/normalization/beta/ListIndexedEmptyA.dhallb => test/normalization/beta/ListIndexedEmptyA.dhallb +0 -0
M test/normalization/beta/ListIndexedEmptyB.dhallb => test/normalization/beta/ListIndexedEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���eindexgNaturalevalueaT>
\ No newline at end of file
+���eindexgNaturalevalueaT<
\ No newline at end of file
M test/normalization/beta/ListIndexedOneA.dhallb => test/normalization/beta/ListIndexedOneA.dhallb +0 -0
M test/normalization/beta/ListIndexedOneB.dhallb => test/normalization/beta/ListIndexedOneB.dhallb +0 -0
M test/normalization/beta/ListLastA.dhallb => test/normalization/beta/ListLastA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0iList/last>
\ No newline at end of file
+iList/last<
\ No newline at end of file
M test/normalization/beta/ListLastB.dhallb => test/normalization/beta/ListLastB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0iList/last>
\ No newline at end of file
+iList/last<
\ No newline at end of file
M test/normalization/beta/ListLastEmptyA.dhallb => test/normalization/beta/ListLastEmptyA.dhallb +0 -0
M test/normalization/beta/ListLastEmptyB.dhallb => test/normalization/beta/ListLastEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�aT>
\ No newline at end of file
+�aT<
\ No newline at end of file
M test/normalization/beta/ListLastOneA.dhallb => test/normalization/beta/ListLastOneA.dhallb +0 -0
M test/normalization/beta/ListLastOneB.dhallb => test/normalization/beta/ListLastOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���>
\ No newline at end of file
+���<
\ No newline at end of file
M test/normalization/beta/ListLengthA.dhallb => test/normalization/beta/ListLengthA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0kList/length>
\ No newline at end of file
+kList/length<
\ No newline at end of file
M test/normalization/beta/ListLengthB.dhallb => test/normalization/beta/ListLengthB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0kList/length>
\ No newline at end of file
+kList/length<
\ No newline at end of file
M test/normalization/beta/ListLengthEmptyA.dhallb => test/normalization/beta/ListLengthEmptyA.dhallb +0 -0
M test/normalization/beta/ListLengthEmptyB.dhallb => test/normalization/beta/ListLengthEmptyB.dhallb +0 -0
M test/normalization/beta/ListLengthOneA.dhallb => test/normalization/beta/ListLengthOneA.dhallb +0 -0
M test/normalization/beta/ListLengthOneB.dhallb => test/normalization/beta/ListLengthOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/ListNormalizeElementsA.dhallb => test/normalization/beta/ListNormalizeElementsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0����axay>
\ No newline at end of file
+����axay<
\ No newline at end of file
M test/normalization/beta/ListNormalizeElementsB.dhallb => test/normalization/beta/ListNormalizeElementsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax>
\ No newline at end of file
+��ax<
\ No newline at end of file
M test/normalization/beta/ListNormalizeTypeAnnotationA.dhallb => test/normalization/beta/ListNormalizeTypeAnnotationA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���axay>
\ No newline at end of file
+���axay<
\ No newline at end of file
M test/normalization/beta/ListNormalizeTypeAnnotationB.dhallb => test/normalization/beta/ListNormalizeTypeAnnotationB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax>
\ No newline at end of file
+�ax<
\ No newline at end of file
M test/normalization/beta/ListReverseA.dhallb => test/normalization/beta/ListReverseA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lList/reverse>
\ No newline at end of file
+lList/reverse<
\ No newline at end of file
M test/normalization/beta/ListReverseB.dhallb => test/normalization/beta/ListReverseB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lList/reverse>
\ No newline at end of file
+lList/reverse<
\ No newline at end of file
M test/normalization/beta/ListReverseEmptyA.dhallb => test/normalization/beta/ListReverseEmptyA.dhallb +0 -0
M test/normalization/beta/ListReverseEmptyB.dhallb => test/normalization/beta/ListReverseEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�aT>
\ No newline at end of file
+�aT<
\ No newline at end of file
M test/normalization/beta/ListReverseTwoA.dhallb => test/normalization/beta/ListReverseTwoA.dhallb +0 -0
M test/normalization/beta/ListReverseTwoB.dhallb => test/normalization/beta/ListReverseTwoB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0����>
\ No newline at end of file
+����<
\ No newline at end of file
M test/normalization/beta/MergeA.dhallb => test/normalization/beta/MergeA.dhallb +0 -0
M test/normalization/beta/MergeB.dhallb => test/normalization/beta/MergeB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ay>
\ No newline at end of file
+ay<
\ No newline at end of file
M test/normalization/beta/MergeNormalizeArgumentsA.dhallb => test/normalization/beta/MergeNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���axay��azab>
\ No newline at end of file
+���axay��azab<
\ No newline at end of file
M test/normalization/beta/MergeNormalizeArgumentsB.dhallb => test/normalization/beta/MergeNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axaz>
\ No newline at end of file
+�axaz<
\ No newline at end of file
M test/normalization/beta/MergeWithTypeA.dhallb => test/normalization/beta/MergeWithTypeA.dhallb +0 -0
M test/normalization/beta/MergeWithTypeB.dhallb => test/normalization/beta/MergeWithTypeB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ay>
\ No newline at end of file
+ay<
\ No newline at end of file
M test/normalization/beta/MergeWithTypeNormalizeArgumentsA.dhallb => test/normalization/beta/MergeWithTypeNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���axay��azab��aXaY>
\ No newline at end of file
+���axay��azab��aXaY<
\ No newline at end of file
M test/normalization/beta/MergeWithTypeNormalizeArgumentsB.dhallb => test/normalization/beta/MergeWithTypeNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axazaX>
\ No newline at end of file
+�axazaX<
\ No newline at end of file
M test/normalization/beta/NaturalA.dhallb => test/normalization/beta/NaturalA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0gNatural>
\ No newline at end of file
+gNatural<
\ No newline at end of file
M test/normalization/beta/NaturalB.dhallb => test/normalization/beta/NaturalB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0gNatural>
\ No newline at end of file
+gNatural<
\ No newline at end of file
M test/normalization/beta/NaturalBuildA.dhallb => test/normalization/beta/NaturalBuildA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0mNatural/build>
\ No newline at end of file
+mNatural/build<
\ No newline at end of file
M test/normalization/beta/NaturalBuildB.dhallb => test/normalization/beta/NaturalBuildB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0mNatural/build>
\ No newline at end of file
+mNatural/build<
\ No newline at end of file
M test/normalization/beta/NaturalBuildFoldFusionA.dhallb => test/normalization/beta/NaturalBuildFoldFusionA.dhallb +0 -0
M test/normalization/beta/NaturalBuildFoldFusionB.dhallb => test/normalization/beta/NaturalBuildFoldFusionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/NaturalBuildImplementationA.dhallb => test/normalization/beta/NaturalBuildImplementationA.dhallb +0 -0
M test/normalization/beta/NaturalBuildImplementationB.dhallb => test/normalization/beta/NaturalBuildImplementationB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/NaturalEvenA.dhallb => test/normalization/beta/NaturalEvenA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lNatural/even>
\ No newline at end of file
+lNatural/even<
\ No newline at end of file
M test/normalization/beta/NaturalEvenB.dhallb => test/normalization/beta/NaturalEvenB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lNatural/even>
\ No newline at end of file
+lNatural/even<
\ No newline at end of file
M test/normalization/beta/NaturalEvenOneA.dhallb => test/normalization/beta/NaturalEvenOneA.dhallb +0 -0
M test/normalization/beta/NaturalEvenOneB.dhallb => test/normalization/beta/NaturalEvenOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/NaturalEvenZeroA.dhallb => test/normalization/beta/NaturalEvenZeroA.dhallb +0 -0
M test/normalization/beta/NaturalEvenZeroB.dhallb => test/normalization/beta/NaturalEvenZeroB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/NaturalFoldA.dhallb => test/normalization/beta/NaturalFoldA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lNatural/fold>
\ No newline at end of file
+lNatural/fold<
\ No newline at end of file
M test/normalization/beta/NaturalFoldB.dhallb => test/normalization/beta/NaturalFoldB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lNatural/fold>
\ No newline at end of file
+lNatural/fold<
\ No newline at end of file
M test/normalization/beta/NaturalFoldOneA.dhallb => test/normalization/beta/NaturalFoldOneA.dhallb +0 -0
M test/normalization/beta/NaturalFoldOneB.dhallb => test/normalization/beta/NaturalFoldOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/NaturalFoldZeroA.dhallb => test/normalization/beta/NaturalFoldZeroA.dhallb +0 -0
M test/normalization/beta/NaturalFoldZeroB.dhallb => test/normalization/beta/NaturalFoldZeroB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/NaturalIsZeroA.dhallb => test/normalization/beta/NaturalIsZeroA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0nNatural/isZero>
\ No newline at end of file
+nNatural/isZero<
\ No newline at end of file
M test/normalization/beta/NaturalIsZeroB.dhallb => test/normalization/beta/NaturalIsZeroB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0nNatural/isZero>
\ No newline at end of file
+nNatural/isZero<
\ No newline at end of file
M test/normalization/beta/NaturalIsZeroOneA.dhallb => test/normalization/beta/NaturalIsZeroOneA.dhallb +0 -0
M test/normalization/beta/NaturalIsZeroOneB.dhallb => test/normalization/beta/NaturalIsZeroOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/NaturalIsZeroZeroA.dhallb => test/normalization/beta/NaturalIsZeroZeroA.dhallb +0 -0
M test/normalization/beta/NaturalIsZeroZeroB.dhallb => test/normalization/beta/NaturalIsZeroZeroB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/NaturalLiteralA.dhallb => test/normalization/beta/NaturalLiteralA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/NaturalLiteralB.dhallb => test/normalization/beta/NaturalLiteralB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/NaturalOddA.dhallb => test/normalization/beta/NaturalOddA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0kNatural/odd>
\ No newline at end of file
+kNatural/odd<
\ No newline at end of file
M test/normalization/beta/NaturalOddB.dhallb => test/normalization/beta/NaturalOddB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0kNatural/odd>
\ No newline at end of file
+kNatural/odd<
\ No newline at end of file
M test/normalization/beta/NaturalOddOneA.dhallb => test/normalization/beta/NaturalOddOneA.dhallb +0 -0
M test/normalization/beta/NaturalOddOneB.dhallb => test/normalization/beta/NaturalOddOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/NaturalOddZeroA.dhallb => test/normalization/beta/NaturalOddZeroA.dhallb +0 -0
M test/normalization/beta/NaturalOddZeroB.dhallb => test/normalization/beta/NaturalOddZeroB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/NaturalShowA.dhallb => test/normalization/beta/NaturalShowA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lNatural/show>
\ No newline at end of file
+lNatural/show<
\ No newline at end of file
M test/normalization/beta/NaturalShowB.dhallb => test/normalization/beta/NaturalShowB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0lNatural/show>
\ No newline at end of file
+lNatural/show<
\ No newline at end of file
M test/normalization/beta/NaturalShowOneA.dhallb => test/normalization/beta/NaturalShowOneA.dhallb +0 -0
M test/normalization/beta/NaturalShowOneB.dhallb => test/normalization/beta/NaturalShowOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�a1>
\ No newline at end of file
+�a1<
\ No newline at end of file
M test/normalization/beta/NaturalToIntegerA.dhallb => test/normalization/beta/NaturalToIntegerA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0qNatural/toInteger>
\ No newline at end of file
+qNatural/toInteger<
\ No newline at end of file
M test/normalization/beta/NaturalToIntegerB.dhallb => test/normalization/beta/NaturalToIntegerB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0qNatural/toInteger>
\ No newline at end of file
+qNatural/toInteger<
\ No newline at end of file
M test/normalization/beta/NaturalToIntegerOneA.dhallb => test/normalization/beta/NaturalToIntegerOneA.dhallb +0 -0
M test/normalization/beta/NaturalToIntegerOneB.dhallb => test/normalization/beta/NaturalToIntegerOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/NoneA.dhallb => test/normalization/beta/NoneA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dNone>
\ No newline at end of file
+dNone<
\ No newline at end of file
M test/normalization/beta/NoneB.dhallb => test/normalization/beta/NoneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dNone>
\ No newline at end of file
+dNone<
\ No newline at end of file
M test/normalization/beta/NoneNaturalA.dhallb => test/normalization/beta/NoneNaturalA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�gNatural>
\ No newline at end of file
+�gNatural<
\ No newline at end of file
M test/normalization/beta/NoneNaturalB.dhallb => test/normalization/beta/NoneNaturalB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�gNatural>
\ No newline at end of file
+�gNatural<
\ No newline at end of file
M test/normalization/beta/OperatorAndEquivalentArgumentsA.dhallb => test/normalization/beta/OperatorAndEquivalentArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axax>
\ No newline at end of file
+�axax<
\ No newline at end of file
M test/normalization/beta/OperatorAndEquivalentArgumentsB.dhallb => test/normalization/beta/OperatorAndEquivalentArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorAndLhsFalseA.dhallb => test/normalization/beta/OperatorAndLhsFalseA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax>
\ No newline at end of file
+��ax<
\ No newline at end of file
M test/normalization/beta/OperatorAndLhsFalseB.dhallb => test/normalization/beta/OperatorAndLhsFalseB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/OperatorAndLhsTrueA.dhallb => test/normalization/beta/OperatorAndLhsTrueA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax>
\ No newline at end of file
+��ax<
\ No newline at end of file
M test/normalization/beta/OperatorAndLhsTrueB.dhallb => test/normalization/beta/OperatorAndLhsTrueB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorAndNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorAndNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���ax��ay>
\ No newline at end of file
+���ax��ay<
\ No newline at end of file
M test/normalization/beta/OperatorAndNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorAndNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axay>
\ No newline at end of file
+�axay<
\ No newline at end of file
M test/normalization/beta/OperatorAndRhsFalseA.dhallb => test/normalization/beta/OperatorAndRhsFalseA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax�>
\ No newline at end of file
+�ax�<
\ No newline at end of file
M test/normalization/beta/OperatorAndRhsFalseB.dhallb => test/normalization/beta/OperatorAndRhsFalseB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/OperatorAndRhsTrueA.dhallb => test/normalization/beta/OperatorAndRhsTrueA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax�>
\ No newline at end of file
+�ax�<
\ No newline at end of file
M test/normalization/beta/OperatorAndRhsTrueB.dhallb => test/normalization/beta/OperatorAndRhsTrueB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorEqualEquivalentArgumentsA.dhallb => test/normalization/beta/OperatorEqualEquivalentArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axax>
\ No newline at end of file
+�axax<
\ No newline at end of file
M test/normalization/beta/OperatorEqualEquivalentArgumentsB.dhallb => test/normalization/beta/OperatorEqualEquivalentArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/OperatorEqualLhsTrueA.dhallb => test/normalization/beta/OperatorEqualLhsTrueA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax�>
\ No newline at end of file
+�ax�<
\ No newline at end of file
M test/normalization/beta/OperatorEqualLhsTrueB.dhallb => test/normalization/beta/OperatorEqualLhsTrueB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorEqualNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorEqualNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���ax��ay>
\ No newline at end of file
+���ax��ay<
\ No newline at end of file
M test/normalization/beta/OperatorEqualNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorEqualNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axay>
\ No newline at end of file
+�axay<
\ No newline at end of file
M test/normalization/beta/OperatorEqualRhsTrueA.dhallb => test/normalization/beta/OperatorEqualRhsTrueA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax>
\ No newline at end of file
+��ax<
\ No newline at end of file
M test/normalization/beta/OperatorEqualRhsTrueB.dhallb => test/normalization/beta/OperatorEqualRhsTrueB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorListConcatenateLhsEmptyA.dhallb => test/normalization/beta/OperatorListConcatenateLhsEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax�aT>
\ No newline at end of file
+�ax�aT<
\ No newline at end of file
M test/normalization/beta/OperatorListConcatenateLhsEmptyB.dhallb => test/normalization/beta/OperatorListConcatenateLhsEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorListConcatenateListListA.dhallb => test/normalization/beta/OperatorListConcatenateListListA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���ax��ay>
\ No newline at end of file
+���ax��ay<
\ No newline at end of file
M test/normalization/beta/OperatorListConcatenateListListB.dhallb => test/normalization/beta/OperatorListConcatenateListListB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��axay>
\ No newline at end of file
+��axay<
\ No newline at end of file
M test/normalization/beta/OperatorListConcatenateNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorListConcatenateNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���aTax��aTay>
\ No newline at end of file
+���aTax��aTay<
\ No newline at end of file
M test/normalization/beta/OperatorListConcatenateNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorListConcatenateNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axay>
\ No newline at end of file
+�axay<
\ No newline at end of file
M test/normalization/beta/OperatorListConcatenateRhsEmptyA.dhallb => test/normalization/beta/OperatorListConcatenateRhsEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��aTax>
\ No newline at end of file
+��aTax<
\ No newline at end of file
M test/normalization/beta/OperatorListConcatenateRhsEmptyB.dhallb => test/normalization/beta/OperatorListConcatenateRhsEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorNotEqualEquivalentArgumentsA.dhallb => test/normalization/beta/OperatorNotEqualEquivalentArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axax>
\ No newline at end of file
+�axax<
\ No newline at end of file
M test/normalization/beta/OperatorNotEqualEquivalentArgumentsB.dhallb => test/normalization/beta/OperatorNotEqualEquivalentArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/OperatorNotEqualLhsFalseA.dhallb => test/normalization/beta/OperatorNotEqualLhsFalseA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax>
\ No newline at end of file
+��ax<
\ No newline at end of file
M test/normalization/beta/OperatorNotEqualLhsFalseB.dhallb => test/normalization/beta/OperatorNotEqualLhsFalseB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorNotEqualNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorNotEqualNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���ax��ay>
\ No newline at end of file
+���ax��ay<
\ No newline at end of file
M test/normalization/beta/OperatorNotEqualNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorNotEqualNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axay>
\ No newline at end of file
+�axay<
\ No newline at end of file
M test/normalization/beta/OperatorNotEqualRhsFalseA.dhallb => test/normalization/beta/OperatorNotEqualRhsFalseA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax�>
\ No newline at end of file
+�ax�<
\ No newline at end of file
M test/normalization/beta/OperatorNotEqualRhsFalseB.dhallb => test/normalization/beta/OperatorNotEqualRhsFalseB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorOrEquivalentArgumentsA.dhallb => test/normalization/beta/OperatorOrEquivalentArgumentsA.dhallb +0 -0
M test/normalization/beta/OperatorOrEquivalentArgumentsB.dhallb => test/normalization/beta/OperatorOrEquivalentArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorOrLhsFalseA.dhallb => test/normalization/beta/OperatorOrLhsFalseA.dhallb +0 -0
M test/normalization/beta/OperatorOrLhsFalseB.dhallb => test/normalization/beta/OperatorOrLhsFalseB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorOrLhsTrueA.dhallb => test/normalization/beta/OperatorOrLhsTrueA.dhallb +0 -0
M test/normalization/beta/OperatorOrLhsTrueB.dhallb => test/normalization/beta/OperatorOrLhsTrueB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/OperatorOrNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorOrNormalizeArgumentsA.dhallb +0 -0
M test/normalization/beta/OperatorOrNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorOrNormalizeArgumentsB.dhallb +0 -0
M test/normalization/beta/OperatorOrRhsFalseA.dhallb => test/normalization/beta/OperatorOrRhsFalseA.dhallb +0 -0
M test/normalization/beta/OperatorOrRhsFalseB.dhallb => test/normalization/beta/OperatorOrRhsFalseB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorOrRhsTrueA.dhallb => test/normalization/beta/OperatorOrRhsTrueA.dhallb +0 -0
M test/normalization/beta/OperatorOrRhsTrueB.dhallb => test/normalization/beta/OperatorOrRhsTrueB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/OperatorPlusLhsZeroA.dhallb => test/normalization/beta/OperatorPlusLhsZeroA.dhallb +0 -0
M test/normalization/beta/OperatorPlusLhsZeroB.dhallb => test/normalization/beta/OperatorPlusLhsZeroB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorPlusNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorPlusNormalizeArgumentsA.dhallb +0 -0
M test/normalization/beta/OperatorPlusNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorPlusNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axay>
\ No newline at end of file
+�axay<
\ No newline at end of file
M test/normalization/beta/OperatorPlusOneAndOneA.dhallb => test/normalization/beta/OperatorPlusOneAndOneA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���>
\ No newline at end of file
+���<
\ No newline at end of file
M test/normalization/beta/OperatorPlusOneAndOneB.dhallb => test/normalization/beta/OperatorPlusOneAndOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/OperatorPlusRhsZeroA.dhallb => test/normalization/beta/OperatorPlusRhsZeroA.dhallb +0 -0
M test/normalization/beta/OperatorPlusRhsZeroB.dhallb => test/normalization/beta/OperatorPlusRhsZeroB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorTextConcatenateLhsEmptyA.dhallb => test/normalization/beta/OperatorTextConcatenateLhsEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��`ax>
\ No newline at end of file
+��`ax<
\ No newline at end of file
M test/normalization/beta/OperatorTextConcatenateLhsEmptyB.dhallb => test/normalization/beta/OperatorTextConcatenateLhsEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorTextConcatenateNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorTextConcatenateNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���`ax��`ay>
\ No newline at end of file
+���`ax��`ay<
\ No newline at end of file
M test/normalization/beta/OperatorTextConcatenateNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorTextConcatenateNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axay>
\ No newline at end of file
+�axay<
\ No newline at end of file
M test/normalization/beta/OperatorTextConcatenateRhsEmptyA.dhallb => test/normalization/beta/OperatorTextConcatenateRhsEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax�`>
\ No newline at end of file
+�ax�`<
\ No newline at end of file
M test/normalization/beta/OperatorTextConcatenateRhsEmptyB.dhallb => test/normalization/beta/OperatorTextConcatenateRhsEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorTextConcatenateTextTextA.dhallb => test/normalization/beta/OperatorTextConcatenateTextTextA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax�ay>
\ No newline at end of file
+��ax�ay<
\ No newline at end of file
M test/normalization/beta/OperatorTextConcatenateTextTextB.dhallb => test/normalization/beta/OperatorTextConcatenateTextTextB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�bxy>
\ No newline at end of file
+�bxy<
\ No newline at end of file
M test/normalization/beta/OperatorTimesLhsOneA.dhallb => test/normalization/beta/OperatorTimesLhsOneA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax>
\ No newline at end of file
+��ax<
\ No newline at end of file
M test/normalization/beta/OperatorTimesLhsOneB.dhallb => test/normalization/beta/OperatorTimesLhsOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorTimesLhsZeroA.dhallb => test/normalization/beta/OperatorTimesLhsZeroA.dhallb +0 -0
M test/normalization/beta/OperatorTimesLhsZeroB.dhallb => test/normalization/beta/OperatorTimesLhsZeroB.dhallb +0 -0
M test/normalization/beta/OperatorTimesNormalizeArgumentsA.dhallb => test/normalization/beta/OperatorTimesNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���ax��ay>
\ No newline at end of file
+���ax��ay<
\ No newline at end of file
M test/normalization/beta/OperatorTimesNormalizeArgumentsB.dhallb => test/normalization/beta/OperatorTimesNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axay>
\ No newline at end of file
+�axay<
\ No newline at end of file
M test/normalization/beta/OperatorTimesRhsOneA.dhallb => test/normalization/beta/OperatorTimesRhsOneA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax�>
\ No newline at end of file
+�ax�<
\ No newline at end of file
M test/normalization/beta/OperatorTimesRhsOneB.dhallb => test/normalization/beta/OperatorTimesRhsOneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OperatorTimesRhsZeroA.dhallb => test/normalization/beta/OperatorTimesRhsZeroA.dhallb +0 -0
M test/normalization/beta/OperatorTimesRhsZeroB.dhallb => test/normalization/beta/OperatorTimesRhsZeroB.dhallb +0 -0
M test/normalization/beta/OperatorTimesTwoAndTwoA.dhallb => test/normalization/beta/OperatorTimesTwoAndTwoA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���>
\ No newline at end of file
+���<
\ No newline at end of file
M test/normalization/beta/OperatorTimesTwoAndTwoB.dhallb => test/normalization/beta/OperatorTimesTwoAndTwoB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/OptionalA.dhallb => test/normalization/beta/OptionalA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0hOptional>
\ No newline at end of file
+hOptional<
\ No newline at end of file
M test/normalization/beta/OptionalB.dhallb => test/normalization/beta/OptionalB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0hOptional>
\ No newline at end of file
+hOptional<
\ No newline at end of file
M test/normalization/beta/OptionalBuildA.dhallb => test/normalization/beta/OptionalBuildA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0nOptional/build>
\ No newline at end of file
+nOptional/build<
\ No newline at end of file
M test/normalization/beta/OptionalBuildB.dhallb => test/normalization/beta/OptionalBuildB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0nOptional/build>
\ No newline at end of file
+nOptional/build<
\ No newline at end of file
M test/normalization/beta/OptionalBuildFoldFusionA.dhallb => test/normalization/beta/OptionalBuildFoldFusionA.dhallb +0 -0
M test/normalization/beta/OptionalBuildFoldFusionB.dhallb => test/normalization/beta/OptionalBuildFoldFusionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OptionalBuildImplementationA.dhallb => test/normalization/beta/OptionalBuildImplementationA.dhallb +0 -0
M test/normalization/beta/OptionalBuildImplementationB.dhallb => test/normalization/beta/OptionalBuildImplementationB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OptionalFoldA.dhallb => test/normalization/beta/OptionalFoldA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0mOptional/fold>
\ No newline at end of file
+mOptional/fold<
\ No newline at end of file
M test/normalization/beta/OptionalFoldB.dhallb => test/normalization/beta/OptionalFoldB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0mOptional/fold>
\ No newline at end of file
+mOptional/fold<
\ No newline at end of file
M test/normalization/beta/OptionalFoldNoneA.dhallb => test/normalization/beta/OptionalFoldNoneA.dhallb +0 -0
M test/normalization/beta/OptionalFoldNoneB.dhallb => test/normalization/beta/OptionalFoldNoneB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/OptionalFoldSomeA.dhallb => test/normalization/beta/OptionalFoldSomeA.dhallb +0 -0
M test/normalization/beta/OptionalFoldSomeB.dhallb => test/normalization/beta/OptionalFoldSomeB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/RecordA.dhallb => test/normalization/beta/RecordA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��abaxaa��ayaz>
\ No newline at end of file
+��aa��ayazabax<
\ No newline at end of file
M test/normalization/beta/RecordB.dhallb => test/normalization/beta/RecordB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��aaayabax>
\ No newline at end of file
+��aaayabax<
\ No newline at end of file
M test/normalization/beta/RecordEmptyA.dhallb => test/normalization/beta/RecordEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��>
\ No newline at end of file
+��<
\ No newline at end of file
M test/normalization/beta/RecordEmptyB.dhallb => test/normalization/beta/RecordEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��>
\ No newline at end of file
+��<
\ No newline at end of file
M test/normalization/beta/RecordProjectionA.dhallb => test/normalization/beta/RecordProjectionA.dhallb +1 -1
@@ 1,2 1,2 @@
-�e5.0.0�
+�
��axaaayabazacaxaz=
\ No newline at end of file
M test/normalization/beta/RecordProjectionB.dhallb => test/normalization/beta/RecordProjectionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��axaaazac>
\ No newline at end of file
+��axaaazac<
\ No newline at end of file
M test/normalization/beta/RecordProjectionEmptyA.dhallb => test/normalization/beta/RecordProjectionEmptyA.dhallb +1 -1
@@ 1,2 1,2 @@
-�e5.0.0�
+�
ax=
\ No newline at end of file
M test/normalization/beta/RecordProjectionEmptyB.dhallb => test/normalization/beta/RecordProjectionEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��>
\ No newline at end of file
+��<
\ No newline at end of file
M test/normalization/beta/RecordProjectionNormalizeArgumentsA.dhallb => test/normalization/beta/RecordProjectionNormalizeArgumentsA.dhallb +1 -1
@@ 1,2 1,2 @@
-�e5.0.0�
+�
��ayazaxay=
\ No newline at end of file
M test/normalization/beta/RecordProjectionNormalizeArgumentsB.dhallb => test/normalization/beta/RecordProjectionNormalizeArgumentsB.dhallb +1 -1
@@ 1,2 1,2 @@
-�e5.0.0�
+�
ayaxay=
\ No newline at end of file
M test/normalization/beta/RecordSelectionA.dhallb => test/normalization/beta/RecordSelectionA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� ��axavax>
\ No newline at end of file
+� ��axavax<
\ No newline at end of file
M test/normalization/beta/RecordSelectionB.dhallb => test/normalization/beta/RecordSelectionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0av>
\ No newline at end of file
+av<
\ No newline at end of file
M test/normalization/beta/RecordSelectionNormalizeArgumentsA.dhallb => test/normalization/beta/RecordSelectionNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� ��ayazax>
\ No newline at end of file
+� ��ayazax<
\ No newline at end of file
M test/normalization/beta/RecordSelectionNormalizeArgumentsB.dhallb => test/normalization/beta/RecordSelectionNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� ayax>
\ No newline at end of file
+� ayax<
\ No newline at end of file
M test/normalization/beta/RecordTypeA.dhallb => test/normalization/beta/RecordTypeA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��abaTaa��aAaB>
\ No newline at end of file
+��aa��aAaBabaT<
\ No newline at end of file
M test/normalization/beta/RecordTypeB.dhallb => test/normalization/beta/RecordTypeB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��aaaAabaT>
\ No newline at end of file
+��aaaAabaT<
\ No newline at end of file
M test/normalization/beta/RecordTypeEmptyA.dhallb => test/normalization/beta/RecordTypeEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��>
\ No newline at end of file
+��<
\ No newline at end of file
M test/normalization/beta/RecordTypeEmptyB.dhallb => test/normalization/beta/RecordTypeEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��>
\ No newline at end of file
+��<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordMergeCollisionA.dhallb => test/normalization/beta/RecursiveRecordMergeCollisionA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���ax��az���ax��ay�>
\ No newline at end of file
+���ax��az���ax��ay�<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordMergeCollisionB.dhallb => test/normalization/beta/RecursiveRecordMergeCollisionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax��ay�az�>
\ No newline at end of file
+��ax��ay�az�<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordMergeLhsEmptyA.dhallb => test/normalization/beta/RecursiveRecordMergeLhsEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���ax>
\ No newline at end of file
+���ax<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordMergeLhsEmptyB.dhallb => test/normalization/beta/RecursiveRecordMergeLhsEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordMergeNoCollisionA.dhallb => test/normalization/beta/RecursiveRecordMergeNoCollisionA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0���ax��az���ab��ay�>
\ No newline at end of file
+���ax��az���ab��ay�<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordMergeNoCollisionB.dhallb => test/normalization/beta/RecursiveRecordMergeNoCollisionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ab��ay�ax��az�>
\ No newline at end of file
+��ab��ay�ax��az�<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordMergeNormalizeArgumentsA.dhallb => test/normalization/beta/RecursiveRecordMergeNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax�����ab>
\ No newline at end of file
+��ax�����ab<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordMergeNormalizeArgumentsB.dhallb => test/normalization/beta/RecursiveRecordMergeNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axab>
\ No newline at end of file
+�axab<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordMergeRhsEmptyA.dhallb => test/normalization/beta/RecursiveRecordMergeRhsEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�ax��>
\ No newline at end of file
+�ax��<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordMergeRhsEmptyB.dhallb => test/normalization/beta/RecursiveRecordMergeRhsEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordTypeMergeCollisionA.dhallb => test/normalization/beta/RecursiveRecordTypeMergeCollisionA.dhallb +1 -1
@@ 1,2 1,2 @@
-�e5.0.0�
+�
��ax��azaA��ax��ayaB=
\ No newline at end of file
M test/normalization/beta/RecursiveRecordTypeMergeCollisionB.dhallb => test/normalization/beta/RecursiveRecordTypeMergeCollisionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax��ayaBazaA>
\ No newline at end of file
+��ax��ayaBazaA<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordTypeMergeLhsEmptyA.dhallb => test/normalization/beta/RecursiveRecordTypeMergeLhsEmptyA.dhallb +1 -1
@@ 1,2 1,2 @@
-�e5.0.0�
+�
��ax=
\ No newline at end of file
M test/normalization/beta/RecursiveRecordTypeMergeLhsEmptyB.dhallb => test/normalization/beta/RecursiveRecordTypeMergeLhsEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordTypeMergeNoCollisionA.dhallb => test/normalization/beta/RecursiveRecordTypeMergeNoCollisionA.dhallb +1 -1
@@ 1,2 1,2 @@
-�e5.0.0�
+�
��ax��azaA��ab��ayaB=
\ No newline at end of file
M test/normalization/beta/RecursiveRecordTypeMergeNoCollisionB.dhallb => test/normalization/beta/RecursiveRecordTypeMergeNoCollisionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ab��ayaBax��azaA>
\ No newline at end of file
+��ab��ayaBax��azaA<
\ No newline at end of file
M test/normalization/beta/RecursiveRecordTypeMergeNormalizeArgumentsA.dhallb => test/normalization/beta/RecursiveRecordTypeMergeNormalizeArgumentsA.dhallb +1 -1
@@ 1,4 1,4 @@
-�e5.0.0�
+�
�
ax���
��ab=
\ No newline at end of file
M test/normalization/beta/RecursiveRecordTypeMergeNormalizeArgumentsB.dhallb => test/normalization/beta/RecursiveRecordTypeMergeNormalizeArgumentsB.dhallb +1 -1
@@ 1,2 1,2 @@
-�e5.0.0�
+�
axab=
\ No newline at end of file
M test/normalization/beta/RecursiveRecordTypeMergeRhsEmptyA.dhallb => test/normalization/beta/RecursiveRecordTypeMergeRhsEmptyA.dhallb +1 -1
@@ 1,2 1,2 @@
-�e5.0.0�
+�
ax��=
\ No newline at end of file
M test/normalization/beta/RecursiveRecordTypeMergeRhsEmptyB.dhallb => test/normalization/beta/RecursiveRecordTypeMergeRhsEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/RightBiasedRecordMergeCollisionA.dhallb => test/normalization/beta/RightBiasedRecordMergeCollisionA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� ��ay�ax���ax�>
\ No newline at end of file
+� ��ax�ay���ax�<
\ No newline at end of file
M test/normalization/beta/RightBiasedRecordMergeCollisionB.dhallb => test/normalization/beta/RightBiasedRecordMergeCollisionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax�ay�>
\ No newline at end of file
+��ax�ay�<
\ No newline at end of file
M test/normalization/beta/RightBiasedRecordMergeLhsEmptyA.dhallb => test/normalization/beta/RightBiasedRecordMergeLhsEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� ��ax>
\ No newline at end of file
+� ��ax<
\ No newline at end of file
M test/normalization/beta/RightBiasedRecordMergeLhsEmptyB.dhallb => test/normalization/beta/RightBiasedRecordMergeLhsEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/RightBiasedRecordMergeNoCollisionA.dhallb => test/normalization/beta/RightBiasedRecordMergeNoCollisionA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� ��ay�ax���aa�>
\ No newline at end of file
+� ��ax�ay���aa�<
\ No newline at end of file
M test/normalization/beta/RightBiasedRecordMergeNoCollisionB.dhallb => test/normalization/beta/RightBiasedRecordMergeNoCollisionB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��aa�ax�ay�>
\ No newline at end of file
+��aa�ax�ay�<
\ No newline at end of file
M test/normalization/beta/RightBiasedRecordMergeNormalizeArgumentsA.dhallb => test/normalization/beta/RightBiasedRecordMergeNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� � ax��� ay��>
\ No newline at end of file
+� � ax��� ay��<
\ No newline at end of file
M test/normalization/beta/RightBiasedRecordMergeNormalizeArgumentsB.dhallb => test/normalization/beta/RightBiasedRecordMergeNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� axay>
\ No newline at end of file
+� axay<
\ No newline at end of file
M test/normalization/beta/RightBiasedRecordMergeRhsEmptyA.dhallb => test/normalization/beta/RightBiasedRecordMergeRhsEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� ax��>
\ No newline at end of file
+� ax��<
\ No newline at end of file
M test/normalization/beta/RightBiasedRecordMergeRhsEmptyB.dhallb => test/normalization/beta/RightBiasedRecordMergeRhsEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/SomeNormalizeArgumentsA.dhallb => test/normalization/beta/SomeNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0����axay>
\ No newline at end of file
+����axay<
\ No newline at end of file
M test/normalization/beta/SomeNormalizeArgumentsB.dhallb => test/normalization/beta/SomeNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0��ax>
\ No newline at end of file
+��ax<
\ No newline at end of file
M test/normalization/beta/SortA.dhallb => test/normalization/beta/SortA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dSort>
\ No newline at end of file
+dSort<
\ No newline at end of file
M test/normalization/beta/SortB.dhallb => test/normalization/beta/SortB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dSort>
\ No newline at end of file
+dSort<
\ No newline at end of file
M test/normalization/beta/TextA.dhallb => test/normalization/beta/TextA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dText>
\ No newline at end of file
+dText<
\ No newline at end of file
M test/normalization/beta/TextB.dhallb => test/normalization/beta/TextB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dText>
\ No newline at end of file
+dText<
\ No newline at end of file
M test/normalization/beta/TextInterpolateA.dhallb => test/normalization/beta/TextInterpolateA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�as�abax``>
\ No newline at end of file
+�as�abax``<
\ No newline at end of file
M test/normalization/beta/TextInterpolateB.dhallb => test/normalization/beta/TextInterpolateB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�bsbax`>
\ No newline at end of file
+�bsbax`<
\ No newline at end of file
M test/normalization/beta/TextLiteralA.dhallb => test/normalization/beta/TextLiteralA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�as>
\ No newline at end of file
+�as<
\ No newline at end of file
M test/normalization/beta/TextLiteralB.dhallb => test/normalization/beta/TextLiteralB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�as>
\ No newline at end of file
+�as<
\ No newline at end of file
M test/normalization/beta/TextNormalizeInterpolationsA.dhallb => test/normalization/beta/TextNormalizeInterpolationsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�as��axay`>
\ No newline at end of file
+�as��axay`<
\ No newline at end of file
M test/normalization/beta/TextNormalizeInterpolationsB.dhallb => test/normalization/beta/TextNormalizeInterpolationsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�asax`>
\ No newline at end of file
+�asax`<
\ No newline at end of file
M test/normalization/beta/TextShowA.dhallb => test/normalization/beta/TextShowA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0iText/show>
\ No newline at end of file
+iText/show<
\ No newline at end of file
M test/normalization/beta/TextShowAllEscapesA.dhallb => test/normalization/beta/TextShowAllEscapesA.dhallb +0 -0
M test/normalization/beta/TextShowAllEscapesB.dhallb => test/normalization/beta/TextShowAllEscapesB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�x("\"\u0024\\\b\f\n\r\tツa\u0007b\u0010c">
\ No newline at end of file
+�x("\"\u0024\\\b\f\n\r\tツa\u0007b\u0010c"<
\ No newline at end of file
M test/normalization/beta/TextShowB.dhallb => test/normalization/beta/TextShowB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0iText/show>
\ No newline at end of file
+iText/show<
\ No newline at end of file
M test/normalization/beta/TrueA.dhallb => test/normalization/beta/TrueA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/TrueB.dhallb => test/normalization/beta/TrueB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�>
\ No newline at end of file
+�<
\ No newline at end of file
M test/normalization/beta/TypeA.dhallb => test/normalization/beta/TypeA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dType>
\ No newline at end of file
+dType<
\ No newline at end of file
M test/normalization/beta/TypeAnnotationA.dhallb => test/normalization/beta/TypeAnnotationA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axaA>
\ No newline at end of file
+�axaA<
\ No newline at end of file
M test/normalization/beta/TypeAnnotationB.dhallb => test/normalization/beta/TypeAnnotationB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/TypeB.dhallb => test/normalization/beta/TypeB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0dType>
\ No newline at end of file
+dType<
\ No newline at end of file
M test/normalization/beta/UnionNormalizeAlternativesA.dhallb => test/normalization/beta/UnionNormalizeAlternativesA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� axay�ay��aXaY>
\ No newline at end of file
+� axay�ay��aXaY<
\ No newline at end of file
M test/normalization/beta/UnionNormalizeAlternativesB.dhallb => test/normalization/beta/UnionNormalizeAlternativesB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� axay�ayaX>
\ No newline at end of file
+� axay�ayaX<
\ No newline at end of file
M test/normalization/beta/UnionNormalizeArgumentsA.dhallb => test/normalization/beta/UnionNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� ax��ayaz�>
\ No newline at end of file
+� ax��ayaz�<
\ No newline at end of file
M test/normalization/beta/UnionNormalizeArgumentsB.dhallb => test/normalization/beta/UnionNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� axay�>
\ No newline at end of file
+� axay�<
\ No newline at end of file
M test/normalization/beta/UnionProjectConstructorA.dhallb => test/normalization/beta/UnionProjectConstructorA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� � �axaTax>
\ No newline at end of file
+� � �axaTax<
\ No newline at end of file
M test/normalization/beta/UnionProjectConstructorB.dhallb => test/normalization/beta/UnionProjectConstructorB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0�axaT� axax�>
\ No newline at end of file
+�axaT� axax�<
\ No newline at end of file
M test/normalization/beta/UnionProjectConstructorNormalizeArgumentsA.dhallb => test/normalization/beta/UnionProjectConstructorNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� ��ayazax>
\ No newline at end of file
+� ��ayazax<
\ No newline at end of file
M test/normalization/beta/UnionProjectConstructorNormalizeArgumentsB.dhallb => test/normalization/beta/UnionProjectConstructorNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� ayax>
\ No newline at end of file
+� ayax<
\ No newline at end of file
M test/normalization/beta/UnionSortAlternativesA.dhallb => test/normalization/beta/UnionSortAlternativesA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� axay�azaAayaB>
\ No newline at end of file
+� axay�ayaBazaA<
\ No newline at end of file
M test/normalization/beta/UnionSortAlternativesB.dhallb => test/normalization/beta/UnionSortAlternativesB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� axay�ayaBazaA>
\ No newline at end of file
+� axay�ayaBazaA<
\ No newline at end of file
M test/normalization/beta/UnionTypeA.dhallb => test/normalization/beta/UnionTypeA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� �azaAaxaB>
\ No newline at end of file
+� �axaBazaA<
\ No newline at end of file
M test/normalization/beta/UnionTypeB.dhallb => test/normalization/beta/UnionTypeB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� �axaBazaA>
\ No newline at end of file
+� �axaBazaA<
\ No newline at end of file
M test/normalization/beta/UnionTypeEmptyA.dhallb => test/normalization/beta/UnionTypeEmptyA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� �>
\ No newline at end of file
+� �<
\ No newline at end of file
M test/normalization/beta/UnionTypeEmptyB.dhallb => test/normalization/beta/UnionTypeEmptyB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� �>
\ No newline at end of file
+� �<
\ No newline at end of file
M test/normalization/beta/UnionTypeNormalizeArgumentsA.dhallb => test/normalization/beta/UnionTypeNormalizeArgumentsA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� �ax��aBaZazaA>
\ No newline at end of file
+� �ax��aBaZazaA<
\ No newline at end of file
M test/normalization/beta/UnionTypeNormalizeArgumentsB.dhallb => test/normalization/beta/UnionTypeNormalizeArgumentsB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0� �axaBazaA>
\ No newline at end of file
+� �axaBazaA<
\ No newline at end of file
M test/normalization/beta/VariableA.dhallb => test/normalization/beta/VariableA.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file
M test/normalization/beta/VariableB.dhallb => test/normalization/beta/VariableB.dhallb +1 -1
@@ 1,1 1,1 @@
-�e5.0.0ax>
\ No newline at end of file
+ax<
\ No newline at end of file