/dhall/tests/type-errors/unit/

• ../
• AnnotationRecordWrongFieldName.txt
• AnnotationRecordWrongFieldType.txt
• AssertAlphaTrap.txt
• AssertDoubleZeros.txt
• AssertNotEquivalence.txt
• AssertTriviallyFalse.txt
• EquivalenceNotSameType.txt
• EquivalenceNotTerms.txt
• FunctionApplicationArgumentNotMatch.txt
• FunctionApplicationIsNotFunction.txt
• FunctionArgumentTypeNotAType.txt
• FunctionTypeArgumentTypeNotAType.txt
• FunctionTypeKindSort.txt
• FunctionTypeTypeSort.txt
• IfBranchesNotMatch.txt
• IfBranchesNotType.txt
• IfNotBool.txt
• LetWithWrongAnnotation.txt
• ListLiteralEmptyNotType.txt
• ListLiteralNotType.txt
• ListLiteralTypesNotMatch.txt
• MergeAlternativeHasNoHandler.txt
• MergeAnnotationMismatch.txt
• MergeAnnotationNotType.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
• NaturalSubtractNotNatural.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
• RecordLitDuplicateFields.txt
• RecordMixedKinds3.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
• TypeAnnotationWrong.txt
• UnionConstructorFieldNotPresent.txt
• UnionDeprecatedConstructorsKeyword.txt
• UnionTypeDuplicateVariants1.txt
• UnionTypeDuplicateVariants2.txt
• UnionTypeMixedKinds.txt
• UnionTypeMixedKinds2.txt
• UnionTypeMixedKinds3.txt
• UnionTypeNotType.txt
• VariableFree.txt