• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for dhall-1.37.1 source tarball

dhall-1.37.1/dhall-lang/tests/normalization/

• success/
  • WithRecordValueA.dhall
  • WithRecordValueB.dhall
  • remoteSystemsA.dhall
  • remoteSystemsB.dhall
  • haskell-tutorial/
    • access/
      • 0A.dhall
      • 0B.dhall
      • 1A.dhall
      • 1B.dhall
    • combineTypes/
      • 0A.dhall
      • 0B.dhall
      • 1A.dhall
      • 1B.dhall
    • prefer/
      • 0A.dhall
      • 0B.dhall
    • projection/
      • 0A.dhall
      • 0B.dhall
  • regression/
    • NaturalFoldExtraArgA.dhall
    • NaturalFoldExtraArgB.dhall
    • TrickyBinderIdentityA.dhall
    • TrickyBinderIdentityB.dhall
    • UnsaturatedBuiltinsA.dhall
    • UnsaturatedBuiltinsB.dhall
  • simple/
    • completionA.dhall
    • completionB.dhall
    • doubleShowA.dhall
    • doubleShowB.dhall
    • enumA.dhall
    • enumB.dhall
    • equalNoCommuteA.dhall
    • equalNoCommuteB.dhall
    • integerShowA.dhall
    • integerShowB.dhall
    • integerToDoubleA.dhall
    • integerToDoubleB.dhall
    • letAvoidCaptureA.dhall
    • letAvoidCaptureB.dhall
    • letenumA.dhall
    • letenumB.dhall
    • letletA.dhall
    • letletB.dhall
    • listBuildA.dhall
    • listBuildB.dhall
    • multiLineA.dhall
    • multiLineB.dhall
    • naturalBuildA.dhall
    • naturalBuildB.dhall
    • notEqualNoCommuteA.dhall
    • notEqualNoCommuteB.dhall
    • plusNoCommuteA.dhall
    • plusNoCommuteB.dhall
    • simpleAdditionA.dhall
    • simpleAdditionB.dhall
    • sortOperatorA.dhall
    • sortOperatorB.dhall
    • timesNoCommuteA.dhall
    • timesNoCommuteB.dhall
  • simplifications/
    • andA.dhall
    • andB.dhall
    • eqA.dhall
    • eqB.dhall
    • ifThenElseA.dhall
    • ifThenElseB.dhall
    • issue661A.dhall
    • issue661B.dhall
    • neA.dhall
    • neB.dhall
    • orA.dhall
    • orB.dhall
    • rightBiasedMergeWithinRecordProjectionWithinFieldSelection0A.dhall
    • rightBiasedMergeWithinRecordProjectionWithinFieldSelection0B.dhall
    • rightBiasedMergeWithinRecordProjectionWithinFieldSelection1A.dhall
    • rightBiasedMergeWithinRecordProjectionWithinFieldSelection1B.dhall
    • rightBiasedMergeWithinRecursiveRecordMergeWithinFieldselectionA.dhall
    • rightBiasedMergeWithinRecursiveRecordMergeWithinFieldselectionB.dhall
  • unit/
    • AssertNormalizeArgumentA.dhall
    • AssertNormalizeArgumentB.dhall
    • BareInterpolationA.dhall
    • BareInterpolationB.dhall
    • BoolA.dhall
    • BoolB.dhall
    • CompletionA.dhall
    • CompletionB.dhall
    • DoubleA.dhall
    • DoubleB.dhall
    • DoubleLiteralA.dhall
    • DoubleLiteralB.dhall
    • DoubleShowA.dhall
    • DoubleShowB.dhall
    • DoubleShowValueA.dhall
    • DoubleShowValueB.dhall
    • EmptyAlternativeA.dhall
    • EmptyAlternativeB.dhall
    • EmptyToMapA.dhall
    • EmptyToMapB.dhall
    • EquivalenceNormalizeArgumentsA.dhall
    • EquivalenceNormalizeArgumentsB.dhall
    • FunctionApplicationCaptureA.dhall
    • FunctionApplicationCaptureB.dhall
    • FunctionApplicationNoSubstituteA.dhall
    • FunctionApplicationNoSubstituteB.dhall
    • FunctionApplicationNormalizeArgumentsA.dhall
    • FunctionApplicationNormalizeArgumentsB.dhall
    • FunctionApplicationSubstituteA.dhall
    • FunctionApplicationSubstituteB.dhall
    • FunctionNormalizeArgumentsA.dhall
    • FunctionNormalizeArgumentsB.dhall
    • FunctionTypeNormalizeArgumentsA.dhall
    • FunctionTypeNormalizeArgumentsB.dhall
    • IfAlternativesIdenticalA.dhall
    • IfAlternativesIdenticalB.dhall
    • IfFalseA.dhall
    • IfFalseB.dhall
    • IfNormalizePredicateAndBranchesA.dhall
    • IfNormalizePredicateAndBranchesB.dhall
    • IfTrivialA.dhall
    • IfTrivialB.dhall
    • IfTrueA.dhall
    • IfTrueB.dhall
    • IntegerA.dhall
    • IntegerB.dhall
    • IntegerClampA.dhall
    • IntegerClampB.dhall
    • IntegerClampNegativeA.dhall
    • IntegerClampNegativeB.dhall
    • IntegerClampPositiveA.dhall
    • IntegerClampPositiveB.dhall
    • IntegerClampZeroA.dhall
    • IntegerClampZeroB.dhall
    • IntegerNegateA.dhall
    • IntegerNegateB.dhall
    • IntegerNegateNegativeA.dhall
    • IntegerNegateNegativeB.dhall
    • IntegerNegatePositiveA.dhall
    • IntegerNegatePositiveB.dhall
    • IntegerNegateZeroA.dhall
    • IntegerNegateZeroB.dhall
    • IntegerNegativeA.dhall
    • IntegerNegativeB.dhall
    • IntegerPositiveA.dhall
    • IntegerPositiveB.dhall
    • IntegerShow-12A.dhall
    • IntegerShow-12B.dhall
    • IntegerShow12A.dhall
    • IntegerShow12B.dhall
    • IntegerShowA.dhall
    • IntegerShowB.dhall
    • IntegerToDouble-12A.dhall
    • IntegerToDouble-12B.dhall
    • IntegerToDouble12A.dhall
    • IntegerToDouble12B.dhall
    • IntegerToDoubleA.dhall
    • IntegerToDoubleB.dhall
    • KindA.dhall
    • KindB.dhall
    • LetA.dhall
    • LetB.dhall
    • LetWithTypeA.dhall
    • LetWithTypeB.dhall
    • ListA.dhall
    • ListB.dhall
    • ListBuildA.dhall
    • ListBuildB.dhall
    • ListBuildFoldFusionA.dhall
    • ListBuildFoldFusionB.dhall
    • ListBuildImplementationA.dhall
    • ListBuildImplementationB.dhall
    • ListFoldA.dhall
    • ListFoldB.dhall
    • ListFoldEmptyA.dhall
    • ListFoldEmptyB.dhall
    • ListFoldOneA.dhall
    • ListFoldOneB.dhall
    • ListHeadA.dhall
    • ListHeadB.dhall
    • ListHeadEmptyA.dhall
    • ListHeadEmptyB.dhall
    • ListHeadTwoA.dhall
    • ListHeadTwoB.dhall
    • ListIndexedA.dhall
    • ListIndexedB.dhall
    • ListIndexedEmptyA.dhall
    • ListIndexedEmptyB.dhall
    • ListIndexedOneA.dhall
    • ListIndexedOneB.dhall
    • ListLastA.dhall
    • ListLastB.dhall
    • ListLastEmptyA.dhall
    • ListLastEmptyB.dhall
    • ListLastTwoA.dhall
    • ListLastTwoB.dhall
    • ListLengthA.dhall
    • ListLengthB.dhall
    • ListLengthEmptyA.dhall
    • ListLengthEmptyB.dhall
    • ListLengthOneA.dhall
    • ListLengthOneB.dhall
    • ListNormalizeElementsA.dhall
    • ListNormalizeElementsB.dhall
    • ListNormalizeTypeAnnotationA.dhall
    • ListNormalizeTypeAnnotationB.dhall
    • ListReverseA.dhall
    • ListReverseB.dhall
    • ListReverseEmptyA.dhall
    • ListReverseEmptyB.dhall
    • ListReverseTwoA.dhall
    • ListReverseTwoB.dhall
    • MergeA.dhall
    • MergeB.dhall
    • MergeEmptyAlternativeA.dhall
    • MergeEmptyAlternativeB.dhall
    • MergeNoneA.dhall
    • MergeNoneB.dhall
    • MergeNormalizeArgumentsA.dhall
    • MergeNormalizeArgumentsB.dhall
    • MergeSomeA.dhall
    • MergeSomeB.dhall
    • MergeWithTypeA.dhall
    • MergeWithTypeB.dhall
    • MergeWithTypeNormalizeArgumentsA.dhall
    • MergeWithTypeNormalizeArgumentsB.dhall
    • NaturalA.dhall
    • NaturalB.dhall
    • NaturalBuildA.dhall
    • NaturalBuildB.dhall
    • NaturalBuildFoldFusionA.dhall
    • NaturalBuildFoldFusionB.dhall
    • NaturalBuildImplementationA.dhall
    • NaturalBuildImplementationB.dhall
    • NaturalEvenA.dhall
    • NaturalEvenB.dhall
    • NaturalEvenOneA.dhall
    • NaturalEvenOneB.dhall
    • NaturalEvenZeroA.dhall
    • NaturalEvenZeroB.dhall
    • NaturalFoldA.dhall
    • NaturalFoldB.dhall
    • NaturalFoldOneA.dhall
    • NaturalFoldOneB.dhall
    • NaturalFoldZeroA.dhall
    • NaturalFoldZeroB.dhall
    • NaturalIsZeroA.dhall
    • NaturalIsZeroB.dhall
    • NaturalIsZeroOneA.dhall
    • NaturalIsZeroOneB.dhall
    • NaturalIsZeroZeroA.dhall
    • NaturalIsZeroZeroB.dhall
    • NaturalLiteralA.dhall
    • NaturalLiteralB.dhall
    • NaturalOddA.dhall
    • NaturalOddB.dhall
    • NaturalOddOneA.dhall
    • NaturalOddOneB.dhall
    • NaturalOddZeroA.dhall
    • NaturalOddZeroB.dhall
    • NaturalShowA.dhall
    • NaturalShowB.dhall
    • NaturalShowOneA.dhall
    • NaturalShowOneB.dhall
    • NaturalSubtractEquivalentA.dhall
    • NaturalSubtractEquivalentB.dhall
    • NaturalSubtractFromZeroA.dhall
    • NaturalSubtractFromZeroB.dhall
    • NaturalSubtractGreaterA.dhall
    • NaturalSubtractGreaterB.dhall
    • NaturalSubtractLessA.dhall
    • NaturalSubtractLessB.dhall
    • NaturalSubtractNormalizeA.dhall
    • NaturalSubtractNormalizeB.dhall
    • NaturalSubtractZero0A.dhall
    • NaturalSubtractZero0B.dhall
    • NaturalSubtractZero1A.dhall
    • NaturalSubtractZero1B.dhall
    • NaturalToIntegerA.dhall
    • NaturalToIntegerB.dhall
    • NaturalToIntegerOneA.dhall
    • NaturalToIntegerOneB.dhall
    • NestedRecordProjectionA.dhall
    • NestedRecordProjectionB.dhall
    • NestedRecordProjectionByTypeA.dhall
    • NestedRecordProjectionByTypeB.dhall
    • NoneA.dhall
    • NoneB.dhall
    • OperatorAndEquivalentArgumentsA.dhall
    • OperatorAndEquivalentArgumentsB.dhall
    • OperatorAndLhsFalseA.dhall
    • OperatorAndLhsFalseB.dhall
    • OperatorAndLhsTrueA.dhall
    • OperatorAndLhsTrueB.dhall
    • OperatorAndNormalizeArgumentsA.dhall
    • OperatorAndNormalizeArgumentsB.dhall
    • OperatorAndRhsFalseA.dhall
    • OperatorAndRhsFalseB.dhall
    • OperatorAndRhsTrueA.dhall
    • OperatorAndRhsTrueB.dhall
    • OperatorEqualEquivalentArgumentsA.dhall
    • OperatorEqualEquivalentArgumentsB.dhall
    • OperatorEqualLhsTrueA.dhall
    • OperatorEqualLhsTrueB.dhall
    • OperatorEqualNormalizeArgumentsA.dhall
    • OperatorEqualNormalizeArgumentsB.dhall
    • OperatorEqualRhsTrueA.dhall
    • OperatorEqualRhsTrueB.dhall
    • OperatorListConcatenateLhsEmptyA.dhall
    • OperatorListConcatenateLhsEmptyB.dhall
    • OperatorListConcatenateListListA.dhall
    • OperatorListConcatenateListListB.dhall
    • OperatorListConcatenateNormalizeArgumentsA.dhall
    • OperatorListConcatenateNormalizeArgumentsB.dhall
    • OperatorListConcatenateRhsEmptyA.dhall
    • OperatorListConcatenateRhsEmptyB.dhall
    • OperatorNotEqualEquivalentArgumentsA.dhall
    • OperatorNotEqualEquivalentArgumentsB.dhall
    • OperatorNotEqualLhsFalseA.dhall
    • OperatorNotEqualLhsFalseB.dhall
    • OperatorNotEqualNormalizeArgumentsA.dhall
    • OperatorNotEqualNormalizeArgumentsB.dhall
    • OperatorNotEqualRhsFalseA.dhall
    • OperatorNotEqualRhsFalseB.dhall
    • OperatorOrEquivalentArgumentsA.dhall
    • OperatorOrEquivalentArgumentsB.dhall
    • OperatorOrLhsFalseA.dhall
    • OperatorOrLhsFalseB.dhall
    • OperatorOrLhsTrueA.dhall
    • OperatorOrLhsTrueB.dhall
    • OperatorOrNormalizeArgumentsA.dhall
    • OperatorOrNormalizeArgumentsB.dhall
    • OperatorOrRhsFalseA.dhall
    • OperatorOrRhsFalseB.dhall
    • OperatorOrRhsTrueA.dhall
    • OperatorOrRhsTrueB.dhall
    • OperatorPlusLhsZeroA.dhall
    • OperatorPlusLhsZeroB.dhall
    • OperatorPlusNormalizeArgumentsA.dhall
    • OperatorPlusNormalizeArgumentsB.dhall
    • OperatorPlusOneAndOneA.dhall
    • OperatorPlusOneAndOneB.dhall
    • OperatorPlusRhsZeroA.dhall
    • OperatorPlusRhsZeroB.dhall
    • OperatorTextConcatenateLhsEmptyA.dhall
    • OperatorTextConcatenateLhsEmptyB.dhall
    • OperatorTextConcatenateLhsNonEmptyA.dhall
    • OperatorTextConcatenateLhsNonEmptyB.dhall
    • OperatorTextConcatenateRhsEmptyA.dhall
    • OperatorTextConcatenateRhsEmptyB.dhall
    • OperatorTextConcatenateRhsNonEmptyA.dhall
    • OperatorTextConcatenateRhsNonEmptyB.dhall
    • OperatorTextConcatenateTextTextA.dhall
    • OperatorTextConcatenateTextTextB.dhall
    • OperatorTimesLhsOneA.dhall
    • OperatorTimesLhsOneB.dhall
    • OperatorTimesLhsZeroA.dhall
    • OperatorTimesLhsZeroB.dhall
    • OperatorTimesNormalizeArgumentsA.dhall
    • OperatorTimesNormalizeArgumentsB.dhall
    • OperatorTimesRhsOneA.dhall
    • OperatorTimesRhsOneB.dhall
    • OperatorTimesRhsZeroA.dhall
    • OperatorTimesRhsZeroB.dhall
    • OperatorTimesTwoAndTwoA.dhall
    • OperatorTimesTwoAndTwoB.dhall
    • OptionalA.dhall
    • OptionalB.dhall
    • RecordA.dhall
    • RecordB.dhall
    • RecordEmptyA.dhall
    • RecordEmptyB.dhall
    • RecordLitAllSugarsA.dhall
    • RecordLitAllSugarsB.dhall
    • RecordLitDottedFieldsA.dhall
    • RecordLitDottedFieldsB.dhall
    • RecordLitDuplicateFieldsNoCollisionsA.dhall
    • RecordLitDuplicateFieldsNoCollisionsB.dhall
    • RecordLitNixLikeA.dhall
    • RecordLitNixLikeB.dhall
    • RecordLitPun1A.dhall
    • RecordLitPun1B.dhall
    • RecordLitPun2A.dhall
    • RecordLitPun2B.dhall
    • RecordLitTriplicateFieldsA.dhall
    • RecordLitTriplicateFieldsB.dhall
    • RecordProjectionA.dhall
    • RecordProjectionB.dhall
    • RecordProjectionByTypeEmptyA.dhall
    • RecordProjectionByTypeEmptyB.dhall
    • RecordProjectionByTypeNonEmptyA.dhall
    • RecordProjectionByTypeNonEmptyB.dhall
    • RecordProjectionByTypeNormalizeProjectionA.dhall
    • RecordProjectionByTypeNormalizeProjectionB.dhall
    • RecordProjectionByTypeWithinFieldSelectionA.dhall
    • RecordProjectionByTypeWithinFieldSelectionB.dhall
    • RecordProjectionEmptyA.dhall
    • RecordProjectionEmptyB.dhall
    • RecordProjectionNormalizeArgumentsA.dhall
    • RecordProjectionNormalizeArgumentsB.dhall
    • RecordProjectionNormalizeFieldsA.dhall
    • RecordProjectionNormalizeFieldsB.dhall
    • RecordProjectionWithinFieldSelectionA.dhall
    • RecordProjectionWithinFieldSelectionB.dhall
    • RecordSelectionA.dhall
    • RecordSelectionB.dhall
    • RecordSelectionNormalizeArgumentsA.dhall
    • RecordSelectionNormalizeArgumentsB.dhall
    • RecordTypeA.dhall
    • RecordTypeB.dhall
    • RecordTypeEmptyA.dhall
    • RecordTypeEmptyB.dhall
    • RecursiveRecordMergeCollisionA.dhall
    • RecursiveRecordMergeCollisionB.dhall
    • RecursiveRecordMergeLhsEmptyA.dhall
    • RecursiveRecordMergeLhsEmptyB.dhall
    • RecursiveRecordMergeNoCollisionA.dhall
    • RecursiveRecordMergeNoCollisionB.dhall
    • RecursiveRecordMergeNormalizeArgumentsA.dhall
    • RecursiveRecordMergeNormalizeArgumentsB.dhall
    • RecursiveRecordMergeRhsEmptyA.dhall
    • RecursiveRecordMergeRhsEmptyB.dhall
    • RecursiveRecordMergeWithinFieldSelection0A.dhall
    • RecursiveRecordMergeWithinFieldSelection0B.dhall
    • RecursiveRecordMergeWithinFieldSelection1A.dhall
    • RecursiveRecordMergeWithinFieldSelection1B.dhall
    • RecursiveRecordMergeWithinFieldSelection2A.dhall
    • RecursiveRecordMergeWithinFieldSelection2B.dhall
    • RecursiveRecordMergeWithinFieldSelection3A.dhall
    • RecursiveRecordMergeWithinFieldSelection3B.dhall
    • RecursiveRecordTypeMergeCollisionA.dhall
    • RecursiveRecordTypeMergeCollisionB.dhall
    • RecursiveRecordTypeMergeDeepA.dhall
    • RecursiveRecordTypeMergeDeepB.dhall
    • RecursiveRecordTypeMergeLhsEmptyA.dhall
    • RecursiveRecordTypeMergeLhsEmptyB.dhall
    • RecursiveRecordTypeMergeNoCollisionA.dhall
    • RecursiveRecordTypeMergeNoCollisionB.dhall
    • RecursiveRecordTypeMergeNormalizeArgumentsA.dhall
    • RecursiveRecordTypeMergeNormalizeArgumentsB.dhall
    • RecursiveRecordTypeMergeRhsEmptyA.dhall
    • RecursiveRecordTypeMergeRhsEmptyB.dhall
    • RecursiveRecordTypeMergeSortsA.dhall
    • RecursiveRecordTypeMergeSortsB.dhall
    • RightBiasedMergeEquivalentArgumentsA.dhall
    • RightBiasedMergeEquivalentArgumentsB.dhall
    • RightBiasedMergeWithinFieldSelection0A.dhall
    • RightBiasedMergeWithinFieldSelection0B.dhall
    • RightBiasedMergeWithinFieldSelection1A.dhall
    • RightBiasedMergeWithinFieldSelection1B.dhall
    • RightBiasedMergeWithinFieldSelection2A.dhall
    • RightBiasedMergeWithinFieldSelection2B.dhall
    • RightBiasedMergeWithinFieldSelection3A.dhall
    • RightBiasedMergeWithinFieldSelection3B.dhall
    • RightBiasedRecordMergeCollisionA.dhall
    • RightBiasedRecordMergeCollisionB.dhall
    • RightBiasedRecordMergeLhsEmptyA.dhall
    • RightBiasedRecordMergeLhsEmptyB.dhall
    • RightBiasedRecordMergeNoCollisionA.dhall
    • RightBiasedRecordMergeNoCollisionB.dhall
    • RightBiasedRecordMergeNormalizeArgumentsA.dhall
    • RightBiasedRecordMergeNormalizeArgumentsB.dhall
    • RightBiasedRecordMergeRhsEmptyA.dhall
    • RightBiasedRecordMergeRhsEmptyB.dhall
    • RightBiasedRecordMergeWithinRecordProjectionA.dhall
    • RightBiasedRecordMergeWithinRecordProjectionB.dhall
    • SomeNormalizeArgumentsA.dhall
    • SomeNormalizeArgumentsB.dhall
    • SortA.dhall
    • SortB.dhall
    • TextA.dhall
    • TextB.dhall
    • TextInterpolateA.dhall
    • TextInterpolateB.dhall
    • TextLitNested1A.dhall
    • TextLitNested1B.dhall
    • TextLitNested2A.dhall
    • TextLitNested2B.dhall
    • TextLitNested3A.dhall
    • TextLitNested3B.dhall
    • TextLiteralA.dhall
    • TextLiteralB.dhall
    • TextNormalizeInterpolationsA.dhall
    • TextNormalizeInterpolationsB.dhall
    • TextReplaceAbstractA.dhall
    • TextReplaceAbstractB.dhall
    • TextReplaceAbstractHaystackA.dhall
    • TextReplaceAbstractHaystackB.dhall
    • TextReplaceEmptyA.dhall
    • TextReplaceEmptyB.dhall
    • TextReplaceMultipleA.dhall
    • TextReplaceMultipleB.dhall
    • TextReplaceNFCUnicodeA.dhall
    • TextReplaceNFCUnicodeB.dhall
    • TextReplaceNormalizationA.dhall
    • TextReplaceNormalizationB.dhall
    • TextReplaceSimpleA.dhall
    • TextReplaceSimpleB.dhall
    • TextReplaceUnicodeA.dhall
    • TextReplaceUnicodeB.dhall
    • TextReplaceVarA.dhall
    • TextReplaceVarB.dhall
    • TextShowA.dhall
    • TextShowAllEscapesA.dhall
    • TextShowAllEscapesB.dhall
    • TextShowB.dhall
    • TextShowEmptyA.dhall
    • TextShowEmptyB.dhall
    • TextShowInterpolatedA.dhall
    • TextShowInterpolatedB.dhall
    • ToMapA.dhall
    • ToMapB.dhall
    • ToMapWithTypeA.dhall
    • ToMapWithTypeB.dhall
    • TrueA.dhall
    • TrueB.dhall
    • TypeA.dhall
    • TypeAnnotationA.dhall
    • TypeAnnotationB.dhall
    • TypeB.dhall
    • UnionProjectConstructorA.dhall
    • UnionProjectConstructorB.dhall
    • UnionTypeA.dhall
    • UnionTypeB.dhall
    • UnionTypeEmptyA.dhall
    • UnionTypeEmptyB.dhall
    • UnionTypeNormalizeArgumentsA.dhall
    • UnionTypeNormalizeArgumentsB.dhall
    • VariableA.dhall
    • VariableB.dhall
    • WithA.dhall
    • WithB.dhall
    • WithChainedA.dhall
    • WithChainedB.dhall
    • WithCreateIntermediateRecordsA.dhall
    • WithCreateIntermediateRecordsB.dhall
    • WithDesugarA.dhall
    • WithDesugarB.dhall
    • WithNestedA.dhall
    • WithNestedB.dhall
    • WithPartiallyAbstractA.dhall
    • WithPartiallyAbstractB.dhall
    • WithPriorityA.dhall
    • WithPriorityB.dhall