/dhall/tests/type-inference/failure/unit/
../
AnnotationRecordWrongFieldName.txt
AnnotationRecordWrongFieldType.txt
AssertAlphaTrap.txt
AssertDoubleZeros.txt
AssertNotEquivalence.txt
AssertTriviallyFalse.txt
CompletionMissingRequiredField.txt
CompletionWithWrongDefaultType.txt
CompletionWithWrongFieldName.txt
CompletionWithWrongOverridenType.txt
EmptyToMap.txt
EquivalenceNotSameType.txt
EquivalenceNotTerms.txt
FunctionApplicationArgumentNotMatch.txt
FunctionApplicationIsNotFunction.txt
FunctionArgumentTypeNotAType.txt
FunctionTypeArgumentTypeNotAType.txt
FunctionTypeKindSort.txt
FunctionTypeOutputTypeNotAType.txt
FunctionTypeTypeSort.txt
HeterogenousToMap.txt
IfBranchesNotMatch.txt
IfBranchesNotType.txt
IfNotBool.txt
LetInSort.txt
LetWithWrongAnnotation.txt
ListLiteralEmptyNotType.txt
ListLiteralNotType.txt
ListLiteralTypesNotMatch.txt
MergeAlternativeHasNoHandler.txt
MergeAnnotationMismatch.txt
MergeAnnotationNotType.txt
MergeBool.txt
MergeEmptyNeedsDirectAnnotation1.txt
MergeEmptyNeedsDirectAnnotation2.txt
MergeEmptyWithoutAnnotation.txt
MergeHandlerNotFunction.txt
MergeHandlerNotInUnion.txt
MergeHandlerNotMatchAlternativeType.txt
MergeHandlersWithDifferentType.txt
MergeLhsNotRecord.txt
MergeMissingHandler1.txt
MergeMissingHandler2.txt
MergeRhsNotUnion.txt
MergeUnusedHandler.txt
MistypedToMap1.txt
MistypedToMap2.txt
MistypedToMap3.txt
MistypedToMap4.txt
NaturalSubtractNotNatural.txt
NestedAnnotInnerWrong.txt
NestedAnnotOuterWrong.txt
NonRecordToMap.txt
OperatorAndNotBool.txt
OperatorEqualNotBool.txt
OperatorListConcatenateLhsNotList.txt
OperatorListConcatenateListsNotMatch.txt
OperatorListConcatenateNotListsButMatch.txt
OperatorListConcatenateRhsNotList.txt
OperatorNotEqualNotBool.txt
OperatorOrNotBool.txt
OperatorPlusNotNatural.txt
OperatorTextConcatenateLhsNotText.txt
OperatorTextConcatenateRhsNotText.txt
OperatorTimesNotNatural.txt
OptionalDeprecatedSyntaxAbsent.txt
OptionalDeprecatedSyntaxPresent.txt
RecordLitDuplicateFieldsAbstract.txt
RecordLitDuplicateFieldsCollidingRecords.txt
RecordLitDuplicateFieldsNotRecords.txt
RecordMixedKinds3.txt
RecordProjectionByTypeFieldTypeMismatch.txt
RecordProjectionByTypeNotPresent.txt
RecordProjectionDuplicateFields.txt
RecordProjectionEmpty.txt
RecordProjectionNotPresent.txt
RecordProjectionNotRecord.txt
RecordSelectionEmpty.txt
RecordSelectionNotPresent.txt
RecordSelectionNotRecord.txt
RecordSelectionTypeNotUnionType.txt
RecordTypeDuplicateFields.txt
RecordTypeValueMember.txt
RecursiveRecordMergeLhsNotRecord.txt
RecursiveRecordMergeOverlapping.txt
RecursiveRecordMergeRhsNotRecord.txt
RecursiveRecordTypeMergeLhsNotRecordType.txt
RecursiveRecordTypeMergeOverlapping.txt
RecursiveRecordTypeMergeRhsNotRecordType.txt
RightBiasedRecordMergeLhsNotRecord.txt
RightBiasedRecordMergeMixedKinds2.txt
RightBiasedRecordMergeMixedKinds3.txt
RightBiasedRecordMergeRhsNotRecord.txt
SomeNotType.txt
Sort.txt
TextLiteralInterpolateNotText.txt
ToMapEmptyInvalidAnnotation.txt
ToMapWrongKind.txt
TypeAnnotationWrong.txt
UnionConstructorFieldNotPresent.txt
UnionDeprecatedConstructorsKeyword.txt
UnionTypeDuplicateVariants1.txt
UnionTypeDuplicateVariants2.txt
UnionTypeMixedKinds.txt
UnionTypeMixedKinds2.txt
UnionTypeMixedKinds3.txt
UnionTypeNotType.txt
VariableFree.txt
WithInvalidOverrideA.txt
WithUnderscore.txt