Directory listing for dhall-1.25.0 source tarball
dhall-1.25.0/dhall-lang/tests/type-inference/
- success/
- simple/
- unit/
- BoolA.dhall
- BoolB.dhall
- DoubleA.dhall
- DoubleB.dhall
- DoubleLiteralA.dhall
- DoubleLiteralB.dhall
- DoubleShowA.dhall
- DoubleShowB.dhall
- FalseA.dhall
- FalseB.dhall
- FunctionA.dhall
- FunctionApplicationA.dhall
- FunctionApplicationB.dhall
- FunctionB.dhall
- FunctionNamedArgA.dhall
- FunctionNamedArgB.dhall
- FunctionTypeKindKindA.dhall
- FunctionTypeKindKindB.dhall
- FunctionTypeKindTermA.dhall
- FunctionTypeKindTermB.dhall
- FunctionTypeKindTypeA.dhall
- FunctionTypeKindTypeB.dhall
- FunctionTypeTermTermA.dhall
- FunctionTypeTermTermB.dhall
- FunctionTypeTypeTermA.dhall
- FunctionTypeTypeTermB.dhall
- FunctionTypeTypeTypeA.dhall
- FunctionTypeTypeTypeB.dhall
- FunctionTypeUsingArgumentA.dhall
- FunctionTypeUsingArgumentB.dhall
- IfA.dhall
- IfB.dhall
- IfNormalizeArgumentsA.dhall
- IfNormalizeArgumentsB.dhall
- IntegerA.dhall
- IntegerB.dhall
- IntegerLiteralA.dhall
- IntegerLiteralB.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
- MergeEmptyUnionA.dhall
- MergeEmptyUnionB.dhall
- MergeOneA.dhall
- MergeOneB.dhall
- MergeOneEmptyA.dhall
- MergeOneEmptyB.dhall
- MergeOneWithAnnotationA.dhall
- MergeOneWithAnnotationB.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
- 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
- OptionalBuildA.dhall
- OptionalBuildB.dhall
- OptionalFoldA.dhall
- OptionalFoldB.dhall
- RecordEmptyA.dhall
- RecordEmptyB.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
- 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
- RecordTypeNestedKindA.dhall
- RecordTypeNestedKindB.dhall
- RecordTypeNestedKindLikeA.dhall
- RecordTypeNestedKindLikeB.dhall
- RecordTypeTypeA.dhall
- RecordTypeTypeB.dhall
- RecursiveRecordMergeLhsEmptyA.dhall
- RecursiveRecordMergeLhsEmptyB.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
- 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
- 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
- TextShowA.dhall
- TextShowB.dhall
- ToMapA.dhall
- ToMapB.dhall
- TrueA.dhall
- TrueB.dhall
- TypeA.dhall
- TypeAnnotationA.dhall
- TypeAnnotationB.dhall
- TypeAnnotationSortA.dhall
- TypeAnnotationSortB.dhall
- TypeB.dhall
- UnionConstructorEmptyFieldA.dhall
- UnionConstructorEmptyFieldB.dhall
- UnionConstructorFieldA.dhall
- UnionConstructorFieldB.dhall
- UnionLiteralOneA.dhall
- UnionLiteralOneB.dhall
- UnionTypeEmptyA.dhall
- UnionTypeEmptyB.dhall
- UnionTypeKindA.dhall
- UnionTypeKindB.dhall
- UnionTypeOneA.dhall
- UnionTypeOneB.dhall
- UnionTypeTypeA.dhall
- UnionTypeTypeB.dhall