Directory listing for dhall-1.40.0 source tarball
dhall-1.40.0/dhall-lang/tests/type-inference/
- failure/
- success/
- CacheImportsA.dhall
- CacheImportsB.dhall
- CacheImportsCanonicalizeA.dhall
- CacheImportsCanonicalizeB.dhall
- accessEncodedTypeA.dhall
- accessEncodedTypeB.dhall
- accessTypeA.dhall
- accessTypeB.dhall
- preferMixedRecordsA.dhall
- preferMixedRecordsB.dhall
- preferMixedRecordsSameFieldA.dhall
- preferMixedRecordsSameFieldB.dhall
- preludeA.dhall
- preludeB.dhall
- recordOfRecordOfTypesA.dhall
- recordOfRecordOfTypesB.dhall
- recordOfTypesA.dhall
- recordOfTypesB.dhall
- prelude/
- Bool/
- Double/
- Integer/
- List/
- Monoid/
- Natural/
- Optional/
- Text/
- regression/
- simple/
- anonymousFunctionsInTypesA.dhall
- anonymousFunctionsInTypesB.dhall
- combineMixedRecordsA.dhall
- combineMixedRecordsB.dhall
- completionA.dhall
- completionB.dhall
- complexShadowingA.dhall
- complexShadowingB.dhall
- fieldsAreTypesA.dhall
- fieldsAreTypesB.dhall
- kindParameterA.dhall
- kindParameterB.dhall
- mergeEquivalenceA.dhall
- mergeEquivalenceB.dhall
- mixedFieldAccessA.dhall
- mixedFieldAccessB.dhall
- orderInsensitivityA.dhall
- orderInsensitivityB.dhall
- toMapEmptyNormalizeAnnotationA.dhall
- toMapEmptyNormalizeAnnotationB.dhall
- unionsOfTypesA.dhall
- unionsOfTypesB.dhall
- access/
- unit/
- AssertAlphaA.dhall
- AssertAlphaB.dhall
- AssertNaNA.dhall
- AssertNaNB.dhall
- AssertSimpleA.dhall
- AssertSimpleB.dhall
- AssertTrivialA.dhall
- AssertTrivialB.dhall
- BoolA.dhall
- BoolB.dhall
- CompletionA.dhall
- CompletionB.dhall
- DoubleA.dhall
- DoubleB.dhall
- DoubleLiteralA.dhall
- DoubleLiteralB.dhall
- DoubleShowA.dhall
- DoubleShowB.dhall
- EquivalenceA.dhall
- EquivalenceB.dhall
- FalseA.dhall
- FalseB.dhall
- FunctionA.dhall
- FunctionApplicationA.dhall
- FunctionApplicationB.dhall
- FunctionApplicationNormalizeArgumentA.dhall
- FunctionApplicationNormalizeArgumentB.dhall
- FunctionApplicationNormalizeResultA.dhall
- FunctionApplicationNormalizeResultB.dhall
- FunctionB.dhall
- FunctionDependentType1A.dhall
- FunctionDependentType1B.dhall
- FunctionDependentType2A.dhall
- FunctionDependentType2B.dhall
- FunctionNamedArgA.dhall
- FunctionNamedArgB.dhall
- FunctionNormalizeTypeAnnotationA.dhall
- FunctionNormalizeTypeAnnotationB.dhall
- FunctionTypeKindKindA.dhall
- FunctionTypeKindKindB.dhall
- FunctionTypeKindTermA.dhall
- FunctionTypeKindTermB.dhall
- FunctionTypeKindTypeA.dhall
- FunctionTypeKindTypeB.dhall
- FunctionTypeTermTermA.dhall
- FunctionTypeTermTermB.dhall
- FunctionTypeTypeKindA.dhall
- FunctionTypeTypeKindB.dhall
- FunctionTypeTypeTermA.dhall
- FunctionTypeTypeTermB.dhall
- FunctionTypeTypeTypeA.dhall
- FunctionTypeTypeTypeB.dhall
- FunctionTypeUsingArgumentA.dhall
- FunctionTypeUsingArgumentB.dhall
- IfA.dhall
- IfB.dhall
- IfBranchesKindA.dhall
- IfBranchesKindB.dhall
- IfBranchesTypeA.dhall
- IfBranchesTypeB.dhall
- IfNormalizeArgumentsA.dhall
- IfNormalizeArgumentsB.dhall
- IntegerA.dhall
- IntegerB.dhall
- IntegerClampA.dhall
- IntegerClampB.dhall
- IntegerLiteralA.dhall
- IntegerLiteralB.dhall
- IntegerNegateA.dhall
- IntegerNegateB.dhall
- IntegerShowA.dhall
- IntegerShowB.dhall
- IntegerToDoubleA.dhall
- IntegerToDoubleB.dhall
- KindA.dhall
- KindB.dhall
- LetA.dhall
- LetB.dhall
- LetNestedTypeSynonymA.dhall
- LetNestedTypeSynonymB.dhall
- LetTypeSynonymA.dhall
- LetTypeSynonymB.dhall
- LetWithAnnotationA.dhall
- LetWithAnnotationB.dhall
- ListA.dhall
- ListB.dhall
- ListBuildA.dhall
- ListBuildB.dhall
- ListFoldA.dhall
- ListFoldB.dhall
- ListHeadA.dhall
- ListHeadB.dhall
- ListIndexedA.dhall
- ListIndexedB.dhall
- ListLastA.dhall
- ListLastB.dhall
- ListLengthA.dhall
- ListLengthB.dhall
- ListLiteralEmptyA.dhall
- ListLiteralEmptyB.dhall
- ListLiteralEmptyNormalizeAnnotationA.dhall
- ListLiteralEmptyNormalizeAnnotationB.dhall
- ListLiteralNormalizeArgumentsA.dhall
- ListLiteralNormalizeArgumentsB.dhall
- ListLiteralOneA.dhall
- ListLiteralOneB.dhall
- ListReverseA.dhall
- ListReverseB.dhall
- MergeEmptyAlternativeA.dhall
- MergeEmptyAlternativeB.dhall
- MergeEmptyUnionA.dhall
- MergeEmptyUnionB.dhall
- MergeNoneA.dhall
- MergeNoneB.dhall
- MergeOneA.dhall
- MergeOneB.dhall
- MergeOneEmptyA.dhall
- MergeOneEmptyB.dhall
- MergeOneWithAnnotation0A.dhall
- MergeOneWithAnnotation0B.dhall
- MergeOneWithAnnotation1A.dhall
- MergeOneWithAnnotation1B.dhall
- MergeOptionalA.dhall
- MergeOptionalB.dhall
- MergeSomeA.dhall
- MergeSomeB.dhall
- MergeTrickyShadowingA.dhall
- MergeTrickyShadowingB.dhall
- NaturalA.dhall
- NaturalB.dhall
- NaturalBuildA.dhall
- NaturalBuildB.dhall
- NaturalEvenA.dhall
- NaturalEvenB.dhall
- NaturalFoldA.dhall
- NaturalFoldB.dhall
- NaturalIsZeroA.dhall
- NaturalIsZeroB.dhall
- NaturalLiteralA.dhall
- NaturalLiteralB.dhall
- NaturalOddA.dhall
- NaturalOddB.dhall
- NaturalShowA.dhall
- NaturalShowB.dhall
- NaturalSubtractA.dhall
- NaturalSubtractB.dhall
- NaturalToIntegerA.dhall
- NaturalToIntegerB.dhall
- NoneA.dhall
- NoneB.dhall
- OperatorAndA.dhall
- OperatorAndB.dhall
- OperatorAndNormalizeArgumentsA.dhall
- OperatorAndNormalizeArgumentsB.dhall
- OperatorEqualA.dhall
- OperatorEqualB.dhall
- OperatorEqualNormalizeArgumentsA.dhall
- OperatorEqualNormalizeArgumentsB.dhall
- OperatorListConcatenateA.dhall
- OperatorListConcatenateB.dhall
- OperatorListConcatenateNormalizeArgumentsA.dhall
- OperatorListConcatenateNormalizeArgumentsB.dhall
- OperatorNotEqualA.dhall
- OperatorNotEqualB.dhall
- OperatorNotEqualNormalizeArgumentsA.dhall
- OperatorNotEqualNormalizeArgumentsB.dhall
- OperatorOrA.dhall
- OperatorOrB.dhall
- OperatorOrNormalizeArgumentsA.dhall
- OperatorOrNormalizeArgumentsB.dhall
- OperatorPlusA.dhall
- OperatorPlusB.dhall
- OperatorPlusNormalizeArgumentsA.dhall
- OperatorPlusNormalizeArgumentsB.dhall
- OperatorTextConcatenateA.dhall
- OperatorTextConcatenateB.dhall
- OperatorTextConcatenateNormalizeArgumentsA.dhall
- OperatorTextConcatenateNormalizeArgumentsB.dhall
- OperatorTimesA.dhall
- OperatorTimesB.dhall
- OperatorTimesNormalizeArgumentsA.dhall
- OperatorTimesNormalizeArgumentsB.dhall
- OptionalA.dhall
- OptionalB.dhall
- RecordEmptyA.dhall
- RecordEmptyB.dhall
- RecordLitDottedFieldsA.dhall
- RecordLitDottedFieldsB.dhall
- RecordLitDottedFieldsMergeA.dhall
- RecordLitDottedFieldsMergeB.dhall
- RecordLitDuplicateFieldsAbstractA.dhall
- RecordLitDuplicateFieldsAbstractB.dhall
- RecordLitDuplicateFieldsNoCollisionsA.dhall
- RecordLitDuplicateFieldsNoCollisionsB.dhall
- RecordLitNormalizeFieldTypeA.dhall
- RecordLitNormalizeFieldTypeB.dhall
- RecordLitPunA.dhall
- RecordLitPunB.dhall
- RecordLitPunCaptureA.dhall
- RecordLitPunCaptureB.dhall
- RecordLitPunSomeA.dhall
- RecordLitPunSomeB.dhall
- RecordLitSortFieldsA.dhall
- RecordLitSortFieldsB.dhall
- RecordMixedKinds2A.dhall
- RecordMixedKinds2B.dhall
- RecordMixedKindsA.dhall
- RecordMixedKindsB.dhall
- RecordNestedKindA.dhall
- RecordNestedKindB.dhall
- RecordNestedKindLikeA.dhall
- RecordNestedKindLikeB.dhall
- RecordNestedTypeA.dhall
- RecordNestedTypeB.dhall
- RecordNestedTypeLikeA.dhall
- RecordNestedTypeLikeB.dhall
- RecordOneKindA.dhall
- RecordOneKindB.dhall
- RecordOneTypeA.dhall
- RecordOneTypeB.dhall
- RecordOneValueA.dhall
- RecordOneValueB.dhall
- RecordProjectionByTypeA.dhall
- RecordProjectionByTypeB.dhall
- RecordProjectionByTypeEmptyA.dhall
- RecordProjectionByTypeEmptyB.dhall
- RecordProjectionByTypeJudgmentalEqualityA.dhall
- RecordProjectionByTypeJudgmentalEqualityB.dhall
- RecordProjectionEmptyA.dhall
- RecordProjectionEmptyB.dhall
- RecordProjectionEmptyKindA.dhall
- RecordProjectionEmptyKindB.dhall
- RecordProjectionKindA.dhall
- RecordProjectionKindB.dhall
- RecordProjectionTypeA.dhall
- RecordProjectionTypeB.dhall
- RecordProjectionValueA.dhall
- RecordProjectionValueB.dhall
- RecordSelectionKindA.dhall
- RecordSelectionKindB.dhall
- RecordSelectionTypeA.dhall
- RecordSelectionTypeB.dhall
- RecordSelectionValueA.dhall
- RecordSelectionValueB.dhall
- RecordTypeA.dhall
- RecordTypeB.dhall
- RecordTypeEmptyA.dhall
- RecordTypeEmptyB.dhall
- RecordTypeKindA.dhall
- RecordTypeKindB.dhall
- RecordTypeKindLikeA.dhall
- RecordTypeKindLikeB.dhall
- RecordTypeMixedKinds2A.dhall
- RecordTypeMixedKinds2B.dhall
- RecordTypeMixedKinds3A.dhall
- RecordTypeMixedKinds3B.dhall
- RecordTypeMixedKindsA.dhall
- RecordTypeMixedKindsB.dhall
- RecordTypeNestedKindA.dhall
- RecordTypeNestedKindB.dhall
- RecordTypeNestedKindLikeA.dhall
- RecordTypeNestedKindLikeB.dhall
- RecordTypeTypeA.dhall
- RecordTypeTypeB.dhall
- RecursiveRecordMergeBoolTypeA.dhall
- RecursiveRecordMergeBoolTypeB.dhall
- RecursiveRecordMergeLhsEmptyA.dhall
- RecursiveRecordMergeLhsEmptyB.dhall
- RecursiveRecordMergeMixedKindsA.dhall
- RecursiveRecordMergeMixedKindsB.dhall
- RecursiveRecordMergeRecursivelyA.dhall
- RecursiveRecordMergeRecursivelyB.dhall
- RecursiveRecordMergeRecursivelyKindsA.dhall
- RecursiveRecordMergeRecursivelyKindsB.dhall
- RecursiveRecordMergeRecursivelyTypesA.dhall
- RecursiveRecordMergeRecursivelyTypesB.dhall
- RecursiveRecordMergeRhsEmptyA.dhall
- RecursiveRecordMergeRhsEmptyB.dhall
- RecursiveRecordMergeTwoA.dhall
- RecursiveRecordMergeTwoB.dhall
- RecursiveRecordMergeTwoKindsA.dhall
- RecursiveRecordMergeTwoKindsB.dhall
- RecursiveRecordMergeTwoTypesA.dhall
- RecursiveRecordMergeTwoTypesB.dhall
- RecursiveRecordTypeMergeDeepA.dhall
- RecursiveRecordTypeMergeDeepB.dhall
- RecursiveRecordTypeMergeRecursivelyA.dhall
- RecursiveRecordTypeMergeRecursivelyB.dhall
- RecursiveRecordTypeMergeRecursivelyKindsA.dhall
- RecursiveRecordTypeMergeRecursivelyKindsB.dhall
- RecursiveRecordTypeMergeRecursivelyTypesA.dhall
- RecursiveRecordTypeMergeRecursivelyTypesB.dhall
- RecursiveRecordTypeMergeRhsEmptyA.dhall
- RecursiveRecordTypeMergeRhsEmptyB.dhall
- RecursiveRecordTypeMergeTwoA.dhall
- RecursiveRecordTypeMergeTwoB.dhall
- RecursiveRecordTypeMergeTwoKindsA.dhall
- RecursiveRecordTypeMergeTwoKindsB.dhall
- RecursiveRecordTypeMergeTwoTypesA.dhall
- RecursiveRecordTypeMergeTwoTypesB.dhall
- RightBiasedRecordMergeMixedKindsA.dhall
- RightBiasedRecordMergeMixedKindsB.dhall
- RightBiasedRecordMergeRhsEmptyA.dhall
- RightBiasedRecordMergeRhsEmptyB.dhall
- RightBiasedRecordMergeTwoA.dhall
- RightBiasedRecordMergeTwoB.dhall
- RightBiasedRecordMergeTwoDifferentA.dhall
- RightBiasedRecordMergeTwoDifferentB.dhall
- RightBiasedRecordMergeTwoKindsA.dhall
- RightBiasedRecordMergeTwoKindsB.dhall
- RightBiasedRecordMergeTwoTypesA.dhall
- RightBiasedRecordMergeTwoTypesB.dhall
- SomeTrueA.dhall
- SomeTrueB.dhall
- TextA.dhall
- TextB.dhall
- TextLiteralA.dhall
- TextLiteralB.dhall
- TextLiteralNormalizeArgumentsA.dhall
- TextLiteralNormalizeArgumentsB.dhall
- TextLiteralWithInterpolationA.dhall
- TextLiteralWithInterpolationB.dhall
- TextReplaceA.dhall
- TextReplaceB.dhall
- TextShowA.dhall
- TextShowB.dhall
- ToMapA.dhall
- ToMapAnnotatedA.dhall
- ToMapAnnotatedB.dhall
- ToMapB.dhall
- ToMapInferTypeFromRecordA.dhall
- ToMapInferTypeFromRecordB.dhall
- TrueA.dhall
- TrueB.dhall
- TypeA.dhall
- TypeAnnotationA.dhall
- TypeAnnotationB.dhall
- TypeAnnotationFunctionA.dhall
- TypeAnnotationFunctionB.dhall
- TypeAnnotationNormalizeA.dhall
- TypeAnnotationNormalizeB.dhall
- TypeAnnotationSortA.dhall
- TypeAnnotationSortB.dhall
- TypeB.dhall
- UnionConstructorEmptyFieldA.dhall
- UnionConstructorEmptyFieldB.dhall
- UnionConstructorFieldA.dhall
- UnionConstructorFieldB.dhall
- UnionTypeEmptyA.dhall
- UnionTypeEmptyB.dhall
- UnionTypeKindA.dhall
- UnionTypeKindB.dhall
- UnionTypeMixedKinds1A.dhall
- UnionTypeMixedKinds1B.dhall
- UnionTypeMixedKinds2A.dhall
- UnionTypeMixedKinds2B.dhall
- UnionTypeMixedKinds3A.dhall
- UnionTypeMixedKinds3B.dhall
- UnionTypeMixedKinds4A.dhall
- UnionTypeMixedKinds4B.dhall
- UnionTypeOneA.dhall
- UnionTypeOneB.dhall
- UnionTypeTypeA.dhall
- UnionTypeTypeB.dhall
- WithCreateIntermediateRecordsA.dhall
- WithCreateIntermediateRecordsB.dhall
- WithInfersKindA.dhall
- WithInfersKindB.dhall
- WithNestedA.dhall
- WithNestedB.dhall
- WithNewFieldA.dhall
- WithNewFieldB.dhall
- WithNewTypeA.dhall
- WithNewTypeB.dhall