From 8abb6c24cd26b64d708a74faaa28cc9294dc3466 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 9 Feb 2020 17:47:58 +0000 Subject: Move ui outputs to a sensible place --- dhall/build.rs | 16 ++++++++-------- dhall/src/tests.rs | 11 +++-------- dhall/tests/errors/import/cycle.txt | 1 - dhall/tests/errors/import/importBoundary.txt | 1 - dhall/tests/import/failure/cycle.txt | 1 + dhall/tests/import/failure/importBoundary.txt | 1 + dhall/tests/type-errors/SortInLet.txt | 1 - dhall/tests/type-errors/hurkensParadox.txt | 15 --------------- dhall/tests/type-errors/mixedUnions.txt | 6 ------ dhall/tests/type-errors/recordOfKind.txt | 1 - .../type-errors/unit/AnnotationRecordWrongFieldName.txt | 6 ------ .../type-errors/unit/AnnotationRecordWrongFieldType.txt | 6 ------ dhall/tests/type-errors/unit/AssertAlphaTrap.txt | 6 ------ dhall/tests/type-errors/unit/AssertDoubleZeros.txt | 6 ------ dhall/tests/type-errors/unit/AssertNotEquivalence.txt | 6 ------ dhall/tests/type-errors/unit/AssertTriviallyFalse.txt | 6 ------ .../type-errors/unit/CompletionMissingRequiredField.txt | 7 ------- .../type-errors/unit/CompletionWithWrongDefaultType.txt | 7 ------- .../type-errors/unit/CompletionWithWrongFieldName.txt | 7 ------- .../unit/CompletionWithWrongOverridenType.txt | 7 ------- dhall/tests/type-errors/unit/EmptyToMap.txt | 6 ------ dhall/tests/type-errors/unit/EquivalenceNotSameType.txt | 6 ------ dhall/tests/type-errors/unit/EquivalenceNotTerms.txt | 6 ------ .../unit/FunctionApplicationArgumentNotMatch.txt | 9 --------- .../unit/FunctionApplicationIsNotFunction.txt | 6 ------ .../type-errors/unit/FunctionArgumentTypeNotAType.txt | 7 ------- .../unit/FunctionTypeArgumentTypeNotAType.txt | 7 ------- dhall/tests/type-errors/unit/FunctionTypeKindSort.txt | 1 - dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt | 1 - dhall/tests/type-errors/unit/HeterogenousToMap.txt | 6 ------ dhall/tests/type-errors/unit/IfBranchesNotMatch.txt | 6 ------ dhall/tests/type-errors/unit/IfBranchesNotType.txt | 6 ------ dhall/tests/type-errors/unit/IfNotBool.txt | 6 ------ dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt | 6 ------ dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt | 9 --------- dhall/tests/type-errors/unit/ListLiteralNotType.txt | 6 ------ .../tests/type-errors/unit/ListLiteralTypesNotMatch.txt | 6 ------ .../type-errors/unit/MergeAlternativeHasNoHandler.txt | 6 ------ dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt | 6 ------ dhall/tests/type-errors/unit/MergeAnnotationNotType.txt | 6 ------ .../unit/MergeEmptyNeedsDirectAnnotation1.txt | 6 ------ .../unit/MergeEmptyNeedsDirectAnnotation2.txt | 6 ------ .../type-errors/unit/MergeEmptyWithoutAnnotation.txt | 6 ------ dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt | 9 --------- dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt | 6 ------ .../unit/MergeHandlerNotMatchAlternativeType.txt | 8 -------- .../type-errors/unit/MergeHandlersWithDifferentType.txt | 6 ------ dhall/tests/type-errors/unit/MergeLhsNotRecord.txt | 6 ------ dhall/tests/type-errors/unit/MergeMissingHandler1.txt | 6 ------ dhall/tests/type-errors/unit/MergeMissingHandler2.txt | 6 ------ dhall/tests/type-errors/unit/MergeRhsNotUnion.txt | 6 ------ dhall/tests/type-errors/unit/MergeUnusedHandler.txt | 6 ------ dhall/tests/type-errors/unit/MistypedToMap1.txt | 6 ------ dhall/tests/type-errors/unit/MistypedToMap2.txt | 6 ------ dhall/tests/type-errors/unit/MistypedToMap3.txt | 6 ------ dhall/tests/type-errors/unit/MistypedToMap4.txt | 6 ------ .../tests/type-errors/unit/NaturalSubtractNotNatural.txt | 9 --------- dhall/tests/type-errors/unit/NonRecordToMap.txt | 6 ------ dhall/tests/type-errors/unit/OperatorAndNotBool.txt | 6 ------ dhall/tests/type-errors/unit/OperatorEqualNotBool.txt | 6 ------ .../unit/OperatorListConcatenateLhsNotList.txt | 6 ------ .../unit/OperatorListConcatenateListsNotMatch.txt | 6 ------ .../unit/OperatorListConcatenateNotListsButMatch.txt | 6 ------ .../unit/OperatorListConcatenateRhsNotList.txt | 6 ------ dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt | 6 ------ dhall/tests/type-errors/unit/OperatorOrNotBool.txt | 6 ------ dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt | 6 ------ .../unit/OperatorTextConcatenateLhsNotText.txt | 6 ------ .../unit/OperatorTextConcatenateRhsNotText.txt | 6 ------ dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt | 6 ------ .../type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt | 6 ------ .../type-errors/unit/OptionalDeprecatedSyntaxPresent.txt | 6 ------ .../tests/type-errors/unit/RecordLitDuplicateFields.txt | 6 ------ dhall/tests/type-errors/unit/RecordMixedKinds3.txt | 1 - .../unit/RecordProjectionByTypeFieldTypeMismatch.txt | 6 ------ .../unit/RecordProjectionByTypeNotPresent.txt | 6 ------ .../type-errors/unit/RecordProjectionDuplicateFields.txt | 6 ------ dhall/tests/type-errors/unit/RecordProjectionEmpty.txt | 6 ------ .../type-errors/unit/RecordProjectionNotPresent.txt | 6 ------ .../tests/type-errors/unit/RecordProjectionNotRecord.txt | 6 ------ dhall/tests/type-errors/unit/RecordSelectionEmpty.txt | 6 ------ .../tests/type-errors/unit/RecordSelectionNotPresent.txt | 6 ------ .../tests/type-errors/unit/RecordSelectionNotRecord.txt | 6 ------ .../type-errors/unit/RecordSelectionTypeNotUnionType.txt | 6 ------ .../tests/type-errors/unit/RecordTypeDuplicateFields.txt | 6 ------ dhall/tests/type-errors/unit/RecordTypeValueMember.txt | 6 ------ .../unit/RecursiveRecordMergeLhsNotRecord.txt | 1 - .../type-errors/unit/RecursiveRecordMergeOverlapping.txt | 1 - .../unit/RecursiveRecordMergeRhsNotRecord.txt | 1 - .../unit/RecursiveRecordTypeMergeLhsNotRecordType.txt | 6 ------ .../unit/RecursiveRecordTypeMergeOverlapping.txt | 1 - .../unit/RecursiveRecordTypeMergeRhsNotRecordType.txt | 6 ------ .../unit/RightBiasedRecordMergeLhsNotRecord.txt | 6 ------ .../unit/RightBiasedRecordMergeMixedKinds2.txt | 1 - .../unit/RightBiasedRecordMergeMixedKinds3.txt | 1 - .../unit/RightBiasedRecordMergeRhsNotRecord.txt | 6 ------ dhall/tests/type-errors/unit/SomeNotType.txt | 6 ------ dhall/tests/type-errors/unit/Sort.txt | 1 - .../type-errors/unit/TextLiteralInterpolateNotText.txt | 6 ------ .../type-errors/unit/ToMapEmptyInvalidAnnotation.txt | 7 ------- dhall/tests/type-errors/unit/ToMapWrongKind.txt | 6 ------ dhall/tests/type-errors/unit/TypeAnnotationWrong.txt | 6 ------ .../type-errors/unit/UnionConstructorFieldNotPresent.txt | 6 ------ .../unit/UnionDeprecatedConstructorsKeyword.txt | 6 ------ .../type-errors/unit/UnionTypeDuplicateVariants1.txt | 6 ------ .../type-errors/unit/UnionTypeDuplicateVariants2.txt | 6 ------ dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt | 6 ------ dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt | 6 ------ dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt | 6 ------ dhall/tests/type-errors/unit/UnionTypeNotType.txt | 6 ------ dhall/tests/type-errors/unit/VariableFree.txt | 6 ------ dhall/tests/type-inference/failure/SortInLet.txt | 1 + dhall/tests/type-inference/failure/hurkensParadox.txt | 15 +++++++++++++++ dhall/tests/type-inference/failure/mixedUnions.txt | 6 ++++++ dhall/tests/type-inference/failure/recordOfKind.txt | 1 + .../failure/unit/AnnotationRecordWrongFieldName.txt | 6 ++++++ .../failure/unit/AnnotationRecordWrongFieldType.txt | 6 ++++++ .../type-inference/failure/unit/AssertAlphaTrap.txt | 6 ++++++ .../type-inference/failure/unit/AssertDoubleZeros.txt | 6 ++++++ .../type-inference/failure/unit/AssertNotEquivalence.txt | 6 ++++++ .../type-inference/failure/unit/AssertTriviallyFalse.txt | 6 ++++++ .../failure/unit/CompletionMissingRequiredField.txt | 7 +++++++ .../failure/unit/CompletionWithWrongDefaultType.txt | 7 +++++++ .../failure/unit/CompletionWithWrongFieldName.txt | 7 +++++++ .../failure/unit/CompletionWithWrongOverridenType.txt | 7 +++++++ dhall/tests/type-inference/failure/unit/EmptyToMap.txt | 6 ++++++ .../failure/unit/EquivalenceNotSameType.txt | 6 ++++++ .../type-inference/failure/unit/EquivalenceNotTerms.txt | 6 ++++++ .../failure/unit/FunctionApplicationArgumentNotMatch.txt | 9 +++++++++ .../failure/unit/FunctionApplicationIsNotFunction.txt | 6 ++++++ .../failure/unit/FunctionArgumentTypeNotAType.txt | 7 +++++++ .../failure/unit/FunctionTypeArgumentTypeNotAType.txt | 7 +++++++ .../type-inference/failure/unit/FunctionTypeKindSort.txt | 1 + .../type-inference/failure/unit/FunctionTypeTypeSort.txt | 1 + .../type-inference/failure/unit/HeterogenousToMap.txt | 6 ++++++ .../type-inference/failure/unit/IfBranchesNotMatch.txt | 6 ++++++ .../type-inference/failure/unit/IfBranchesNotType.txt | 6 ++++++ dhall/tests/type-inference/failure/unit/IfNotBool.txt | 6 ++++++ .../failure/unit/LetWithWrongAnnotation.txt | 6 ++++++ .../failure/unit/ListLiteralEmptyNotType.txt | 9 +++++++++ .../type-inference/failure/unit/ListLiteralNotType.txt | 6 ++++++ .../failure/unit/ListLiteralTypesNotMatch.txt | 6 ++++++ .../failure/unit/MergeAlternativeHasNoHandler.txt | 6 ++++++ .../failure/unit/MergeAnnotationMismatch.txt | 6 ++++++ .../failure/unit/MergeAnnotationNotType.txt | 6 ++++++ .../failure/unit/MergeEmptyNeedsDirectAnnotation1.txt | 6 ++++++ .../failure/unit/MergeEmptyNeedsDirectAnnotation2.txt | 6 ++++++ .../failure/unit/MergeEmptyWithoutAnnotation.txt | 6 ++++++ .../failure/unit/MergeHandlerNotFunction.txt | 9 +++++++++ .../failure/unit/MergeHandlerNotInUnion.txt | 6 ++++++ .../failure/unit/MergeHandlerNotMatchAlternativeType.txt | 8 ++++++++ .../failure/unit/MergeHandlersWithDifferentType.txt | 6 ++++++ .../type-inference/failure/unit/MergeLhsNotRecord.txt | 6 ++++++ .../type-inference/failure/unit/MergeMissingHandler1.txt | 6 ++++++ .../type-inference/failure/unit/MergeMissingHandler2.txt | 6 ++++++ .../type-inference/failure/unit/MergeRhsNotUnion.txt | 6 ++++++ .../type-inference/failure/unit/MergeUnusedHandler.txt | 6 ++++++ .../tests/type-inference/failure/unit/MistypedToMap1.txt | 6 ++++++ .../tests/type-inference/failure/unit/MistypedToMap2.txt | 6 ++++++ .../tests/type-inference/failure/unit/MistypedToMap3.txt | 6 ++++++ .../tests/type-inference/failure/unit/MistypedToMap4.txt | 6 ++++++ .../failure/unit/NaturalSubtractNotNatural.txt | 9 +++++++++ .../tests/type-inference/failure/unit/NonRecordToMap.txt | 6 ++++++ .../type-inference/failure/unit/OperatorAndNotBool.txt | 6 ++++++ .../type-inference/failure/unit/OperatorEqualNotBool.txt | 6 ++++++ .../failure/unit/OperatorListConcatenateLhsNotList.txt | 6 ++++++ .../unit/OperatorListConcatenateListsNotMatch.txt | 6 ++++++ .../unit/OperatorListConcatenateNotListsButMatch.txt | 6 ++++++ .../failure/unit/OperatorListConcatenateRhsNotList.txt | 6 ++++++ .../failure/unit/OperatorNotEqualNotBool.txt | 6 ++++++ .../type-inference/failure/unit/OperatorOrNotBool.txt | 6 ++++++ .../failure/unit/OperatorPlusNotNatural.txt | 6 ++++++ .../failure/unit/OperatorTextConcatenateLhsNotText.txt | 6 ++++++ .../failure/unit/OperatorTextConcatenateRhsNotText.txt | 6 ++++++ .../failure/unit/OperatorTimesNotNatural.txt | 6 ++++++ .../failure/unit/OptionalDeprecatedSyntaxAbsent.txt | 6 ++++++ .../failure/unit/OptionalDeprecatedSyntaxPresent.txt | 6 ++++++ .../failure/unit/RecordLitDuplicateFields.txt | 6 ++++++ .../type-inference/failure/unit/RecordMixedKinds3.txt | 1 + .../unit/RecordProjectionByTypeFieldTypeMismatch.txt | 6 ++++++ .../failure/unit/RecordProjectionByTypeNotPresent.txt | 6 ++++++ .../failure/unit/RecordProjectionDuplicateFields.txt | 6 ++++++ .../failure/unit/RecordProjectionEmpty.txt | 6 ++++++ .../failure/unit/RecordProjectionNotPresent.txt | 6 ++++++ .../failure/unit/RecordProjectionNotRecord.txt | 6 ++++++ .../type-inference/failure/unit/RecordSelectionEmpty.txt | 6 ++++++ .../failure/unit/RecordSelectionNotPresent.txt | 6 ++++++ .../failure/unit/RecordSelectionNotRecord.txt | 6 ++++++ .../failure/unit/RecordSelectionTypeNotUnionType.txt | 6 ++++++ .../failure/unit/RecordTypeDuplicateFields.txt | 6 ++++++ .../failure/unit/RecordTypeValueMember.txt | 6 ++++++ .../failure/unit/RecursiveRecordMergeLhsNotRecord.txt | 1 + .../failure/unit/RecursiveRecordMergeOverlapping.txt | 1 + .../failure/unit/RecursiveRecordMergeRhsNotRecord.txt | 1 + .../unit/RecursiveRecordTypeMergeLhsNotRecordType.txt | 6 ++++++ .../failure/unit/RecursiveRecordTypeMergeOverlapping.txt | 1 + .../unit/RecursiveRecordTypeMergeRhsNotRecordType.txt | 6 ++++++ .../failure/unit/RightBiasedRecordMergeLhsNotRecord.txt | 6 ++++++ .../failure/unit/RightBiasedRecordMergeMixedKinds2.txt | 1 + .../failure/unit/RightBiasedRecordMergeMixedKinds3.txt | 1 + .../failure/unit/RightBiasedRecordMergeRhsNotRecord.txt | 6 ++++++ dhall/tests/type-inference/failure/unit/SomeNotType.txt | 6 ++++++ dhall/tests/type-inference/failure/unit/Sort.txt | 1 + .../failure/unit/TextLiteralInterpolateNotText.txt | 6 ++++++ .../failure/unit/ToMapEmptyInvalidAnnotation.txt | 7 +++++++ .../tests/type-inference/failure/unit/ToMapWrongKind.txt | 6 ++++++ .../type-inference/failure/unit/TypeAnnotationWrong.txt | 6 ++++++ .../failure/unit/UnionConstructorFieldNotPresent.txt | 6 ++++++ .../failure/unit/UnionDeprecatedConstructorsKeyword.txt | 6 ++++++ .../failure/unit/UnionTypeDuplicateVariants1.txt | 6 ++++++ .../failure/unit/UnionTypeDuplicateVariants2.txt | 6 ++++++ .../type-inference/failure/unit/UnionTypeMixedKinds.txt | 6 ++++++ .../type-inference/failure/unit/UnionTypeMixedKinds2.txt | 6 ++++++ .../type-inference/failure/unit/UnionTypeMixedKinds3.txt | 6 ++++++ .../type-inference/failure/unit/UnionTypeNotType.txt | 6 ++++++ dhall/tests/type-inference/failure/unit/VariableFree.txt | 6 ++++++ 216 files changed, 613 insertions(+), 618 deletions(-) delete mode 100644 dhall/tests/errors/import/cycle.txt delete mode 100644 dhall/tests/errors/import/importBoundary.txt create mode 100644 dhall/tests/import/failure/cycle.txt create mode 100644 dhall/tests/import/failure/importBoundary.txt delete mode 100644 dhall/tests/type-errors/SortInLet.txt delete mode 100644 dhall/tests/type-errors/hurkensParadox.txt delete mode 100644 dhall/tests/type-errors/mixedUnions.txt delete mode 100644 dhall/tests/type-errors/recordOfKind.txt delete mode 100644 dhall/tests/type-errors/unit/AnnotationRecordWrongFieldName.txt delete mode 100644 dhall/tests/type-errors/unit/AnnotationRecordWrongFieldType.txt delete mode 100644 dhall/tests/type-errors/unit/AssertAlphaTrap.txt delete mode 100644 dhall/tests/type-errors/unit/AssertDoubleZeros.txt delete mode 100644 dhall/tests/type-errors/unit/AssertNotEquivalence.txt delete mode 100644 dhall/tests/type-errors/unit/AssertTriviallyFalse.txt delete mode 100644 dhall/tests/type-errors/unit/CompletionMissingRequiredField.txt delete mode 100644 dhall/tests/type-errors/unit/CompletionWithWrongDefaultType.txt delete mode 100644 dhall/tests/type-errors/unit/CompletionWithWrongFieldName.txt delete mode 100644 dhall/tests/type-errors/unit/CompletionWithWrongOverridenType.txt delete mode 100644 dhall/tests/type-errors/unit/EmptyToMap.txt delete mode 100644 dhall/tests/type-errors/unit/EquivalenceNotSameType.txt delete mode 100644 dhall/tests/type-errors/unit/EquivalenceNotTerms.txt delete mode 100644 dhall/tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt delete mode 100644 dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt delete mode 100644 dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt delete mode 100644 dhall/tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt delete mode 100644 dhall/tests/type-errors/unit/FunctionTypeKindSort.txt delete mode 100644 dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt delete mode 100644 dhall/tests/type-errors/unit/HeterogenousToMap.txt delete mode 100644 dhall/tests/type-errors/unit/IfBranchesNotMatch.txt delete mode 100644 dhall/tests/type-errors/unit/IfBranchesNotType.txt delete mode 100644 dhall/tests/type-errors/unit/IfNotBool.txt delete mode 100644 dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt delete mode 100644 dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt delete mode 100644 dhall/tests/type-errors/unit/ListLiteralNotType.txt delete mode 100644 dhall/tests/type-errors/unit/ListLiteralTypesNotMatch.txt delete mode 100644 dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt delete mode 100644 dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt delete mode 100644 dhall/tests/type-errors/unit/MergeAnnotationNotType.txt delete mode 100644 dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt delete mode 100644 dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt delete mode 100644 dhall/tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt delete mode 100644 dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt delete mode 100644 dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt delete mode 100644 dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt delete mode 100644 dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt delete mode 100644 dhall/tests/type-errors/unit/MergeLhsNotRecord.txt delete mode 100644 dhall/tests/type-errors/unit/MergeMissingHandler1.txt delete mode 100644 dhall/tests/type-errors/unit/MergeMissingHandler2.txt delete mode 100644 dhall/tests/type-errors/unit/MergeRhsNotUnion.txt delete mode 100644 dhall/tests/type-errors/unit/MergeUnusedHandler.txt delete mode 100644 dhall/tests/type-errors/unit/MistypedToMap1.txt delete mode 100644 dhall/tests/type-errors/unit/MistypedToMap2.txt delete mode 100644 dhall/tests/type-errors/unit/MistypedToMap3.txt delete mode 100644 dhall/tests/type-errors/unit/MistypedToMap4.txt delete mode 100644 dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt delete mode 100644 dhall/tests/type-errors/unit/NonRecordToMap.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorAndNotBool.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorEqualNotBool.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorOrNotBool.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt delete mode 100644 dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt delete mode 100644 dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt delete mode 100644 dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt delete mode 100644 dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt delete mode 100644 dhall/tests/type-errors/unit/RecordMixedKinds3.txt delete mode 100644 dhall/tests/type-errors/unit/RecordProjectionByTypeFieldTypeMismatch.txt delete mode 100644 dhall/tests/type-errors/unit/RecordProjectionByTypeNotPresent.txt delete mode 100644 dhall/tests/type-errors/unit/RecordProjectionDuplicateFields.txt delete mode 100644 dhall/tests/type-errors/unit/RecordProjectionEmpty.txt delete mode 100644 dhall/tests/type-errors/unit/RecordProjectionNotPresent.txt delete mode 100644 dhall/tests/type-errors/unit/RecordProjectionNotRecord.txt delete mode 100644 dhall/tests/type-errors/unit/RecordSelectionEmpty.txt delete mode 100644 dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt delete mode 100644 dhall/tests/type-errors/unit/RecordSelectionNotRecord.txt delete mode 100644 dhall/tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt delete mode 100644 dhall/tests/type-errors/unit/RecordTypeDuplicateFields.txt delete mode 100644 dhall/tests/type-errors/unit/RecordTypeValueMember.txt delete mode 100644 dhall/tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt delete mode 100644 dhall/tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt delete mode 100644 dhall/tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt delete mode 100644 dhall/tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt delete mode 100644 dhall/tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt delete mode 100644 dhall/tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt delete mode 100644 dhall/tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt delete mode 100644 dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt delete mode 100644 dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt delete mode 100644 dhall/tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt delete mode 100644 dhall/tests/type-errors/unit/SomeNotType.txt delete mode 100644 dhall/tests/type-errors/unit/Sort.txt delete mode 100644 dhall/tests/type-errors/unit/TextLiteralInterpolateNotText.txt delete mode 100644 dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt delete mode 100644 dhall/tests/type-errors/unit/ToMapWrongKind.txt delete mode 100644 dhall/tests/type-errors/unit/TypeAnnotationWrong.txt delete mode 100644 dhall/tests/type-errors/unit/UnionConstructorFieldNotPresent.txt delete mode 100644 dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt delete mode 100644 dhall/tests/type-errors/unit/UnionTypeDuplicateVariants1.txt delete mode 100644 dhall/tests/type-errors/unit/UnionTypeDuplicateVariants2.txt delete mode 100644 dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt delete mode 100644 dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt delete mode 100644 dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt delete mode 100644 dhall/tests/type-errors/unit/UnionTypeNotType.txt delete mode 100644 dhall/tests/type-errors/unit/VariableFree.txt create mode 100644 dhall/tests/type-inference/failure/SortInLet.txt create mode 100644 dhall/tests/type-inference/failure/hurkensParadox.txt create mode 100644 dhall/tests/type-inference/failure/mixedUnions.txt create mode 100644 dhall/tests/type-inference/failure/recordOfKind.txt create mode 100644 dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt create mode 100644 dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt create mode 100644 dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt create mode 100644 dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt create mode 100644 dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt create mode 100644 dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt create mode 100644 dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt create mode 100644 dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt create mode 100644 dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt create mode 100644 dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt create mode 100644 dhall/tests/type-inference/failure/unit/EmptyToMap.txt create mode 100644 dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt create mode 100644 dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt create mode 100644 dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt create mode 100644 dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt create mode 100644 dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt create mode 100644 dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt create mode 100644 dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt create mode 100644 dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt create mode 100644 dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt create mode 100644 dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt create mode 100644 dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt create mode 100644 dhall/tests/type-inference/failure/unit/IfNotBool.txt create mode 100644 dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt create mode 100644 dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt create mode 100644 dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt create mode 100644 dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt create mode 100644 dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt create mode 100644 dhall/tests/type-inference/failure/unit/MistypedToMap1.txt create mode 100644 dhall/tests/type-inference/failure/unit/MistypedToMap2.txt create mode 100644 dhall/tests/type-inference/failure/unit/MistypedToMap3.txt create mode 100644 dhall/tests/type-inference/failure/unit/MistypedToMap4.txt create mode 100644 dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt create mode 100644 dhall/tests/type-inference/failure/unit/NonRecordToMap.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt create mode 100644 dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt create mode 100644 dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt create mode 100644 dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordLitDuplicateFields.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt create mode 100644 dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt create mode 100644 dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt create mode 100644 dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt create mode 100644 dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt create mode 100644 dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt create mode 100644 dhall/tests/type-inference/failure/unit/SomeNotType.txt create mode 100644 dhall/tests/type-inference/failure/unit/Sort.txt create mode 100644 dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt create mode 100644 dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt create mode 100644 dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt create mode 100644 dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt create mode 100644 dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt create mode 100644 dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt create mode 100644 dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt create mode 100644 dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt create mode 100644 dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt create mode 100644 dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt create mode 100644 dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt create mode 100644 dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt create mode 100644 dhall/tests/type-inference/failure/unit/VariableFree.txt diff --git a/dhall/build.rs b/dhall/build.rs index 3955b3a..67f11e2 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -110,14 +110,14 @@ fn make_test_module( } Some(output_type @ FileType::UI) => { let input = feature.input_type.construct(&path); - let output_file = PathBuf::from(path.as_ref()) - .strip_prefix(base_path) - .unwrap() - .strip_prefix(feature.directory) - .unwrap() - .to_string_lossy() - .into_owned(); - let output = output_type.construct(&output_file); + // All ui outputs are in the local `tests/` directory. + let output_file = PathBuf::from("tests/").join( + PathBuf::from(path.as_ref()) + .strip_prefix(base_path) + .unwrap(), + ); + let output = + output_type.construct(&output_file.to_str().unwrap()); format!("{}({}, {})", feature.variant, input, output) } Some(output_type) => { diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index 659317f..d8ce2fa 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -201,11 +201,9 @@ fn run_test(test: Test) -> Result<()> { // we instead write to it the output we got. This makes it easy to update those files: just // `rm -r dhall/tests/type-errors` and run the tests again. ImportError(expr, expected) => { - let base_path = expected.path(); - let error_file_path = - PathBuf::from("tests/errors/import/").join(base_path); - let err: Error = expr.parse()?.resolve().unwrap_err().into(); + + let error_file_path = expected.path(); if error_file_path.is_file() { let expected_msg = std::fs::read_to_string(error_file_path)?; let msg = format!("{}\n", err); @@ -227,12 +225,9 @@ fn run_test(test: Test) -> Result<()> { // we instead write to it the output we got. This makes it easy to update those files: just // `rm -r dhall/tests/type-errors` and run the tests again. TypeError(expr, expected) => { - let base_path = expected.path(); - let error_file_path = - PathBuf::from("tests/type-errors/").join(base_path); - let err: Error = expr.resolve()?.typecheck().unwrap_err().into(); + let error_file_path = expected.path(); if error_file_path.is_file() { let expected_msg = std::fs::read_to_string(error_file_path)?; let msg = format!("{}\n", err); diff --git a/dhall/tests/errors/import/cycle.txt b/dhall/tests/errors/import/cycle.txt deleted file mode 100644 index 0a20503..0000000 --- a/dhall/tests/errors/import/cycle.txt +++ /dev/null @@ -1 +0,0 @@ -Recursive(Import { mode: Code, location: Local(Parent, FilePath { file_path: ["data", "cycle.dhall"] }), hash: None }, Resolve(Recursive(Import { mode: Code, location: Local(Parent, FilePath { file_path: ["failure", "cycle.dhall"] }), hash: None }, Resolve(ImportCycle([Import { mode: Code, location: Local(Parent, FilePath { file_path: ["data", "cycle.dhall"] }), hash: None }, Import { mode: Code, location: Local(Parent, FilePath { file_path: ["failure", "cycle.dhall"] }), hash: None }], Import { mode: Code, location: Local(Parent, FilePath { file_path: ["data", "cycle.dhall"] }), hash: None }))))) diff --git a/dhall/tests/errors/import/importBoundary.txt b/dhall/tests/errors/import/importBoundary.txt deleted file mode 100644 index 8f78e48..0000000 --- a/dhall/tests/errors/import/importBoundary.txt +++ /dev/null @@ -1 +0,0 @@ -Recursive(Import { mode: Code, location: Local(Parent, FilePath { file_path: ["data", "importBoundary.dhall"] }), hash: None }, Typecheck(TypeError { message: Custom("error: unbound variable `x`\n --> :1:0\n |\n...\n3 | x\n | ^ not found in this scope\n |") })) diff --git a/dhall/tests/import/failure/cycle.txt b/dhall/tests/import/failure/cycle.txt new file mode 100644 index 0000000..0a20503 --- /dev/null +++ b/dhall/tests/import/failure/cycle.txt @@ -0,0 +1 @@ +Recursive(Import { mode: Code, location: Local(Parent, FilePath { file_path: ["data", "cycle.dhall"] }), hash: None }, Resolve(Recursive(Import { mode: Code, location: Local(Parent, FilePath { file_path: ["failure", "cycle.dhall"] }), hash: None }, Resolve(ImportCycle([Import { mode: Code, location: Local(Parent, FilePath { file_path: ["data", "cycle.dhall"] }), hash: None }, Import { mode: Code, location: Local(Parent, FilePath { file_path: ["failure", "cycle.dhall"] }), hash: None }], Import { mode: Code, location: Local(Parent, FilePath { file_path: ["data", "cycle.dhall"] }), hash: None }))))) diff --git a/dhall/tests/import/failure/importBoundary.txt b/dhall/tests/import/failure/importBoundary.txt new file mode 100644 index 0000000..8f78e48 --- /dev/null +++ b/dhall/tests/import/failure/importBoundary.txt @@ -0,0 +1 @@ +Recursive(Import { mode: Code, location: Local(Parent, FilePath { file_path: ["data", "importBoundary.dhall"] }), hash: None }, Typecheck(TypeError { message: Custom("error: unbound variable `x`\n --> :1:0\n |\n...\n3 | x\n | ^ not found in this scope\n |") })) diff --git a/dhall/tests/type-errors/SortInLet.txt b/dhall/tests/type-errors/SortInLet.txt deleted file mode 100644 index 5b88ff7..0000000 --- a/dhall/tests/type-errors/SortInLet.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: Unhandled error: Sort diff --git a/dhall/tests/type-errors/hurkensParadox.txt b/dhall/tests/type-errors/hurkensParadox.txt deleted file mode 100644 index 6b99615..0000000 --- a/dhall/tests/type-errors/hurkensParadox.txt +++ /dev/null @@ -1,15 +0,0 @@ -Type error: error: wrong type of function argument - --> :6:23 - | - 1 | let bottom : Type = ∀(any : Type) → any - 2 | - 3 | in let not : Type → Type = λ(p : Type) → p → bottom - 4 | -... -10 | : pow (pow U) → U -11 | = λ(t : pow (pow U)) - | ^^^ this expects an argument of type: Kind - | ^ but this has type: Sort - | - = note: expected type `Kind` - found type `Sort` diff --git a/dhall/tests/type-errors/mixedUnions.txt b/dhall/tests/type-errors/mixedUnions.txt deleted file mode 100644 index 8e0026d..0000000 --- a/dhall/tests/type-errors/mixedUnions.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidFieldType - --> :1:0 - | -1 | < Left : Natural | Right : Type > - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType - | diff --git a/dhall/tests/type-errors/recordOfKind.txt b/dhall/tests/type-errors/recordOfKind.txt deleted file mode 100644 index 5b88ff7..0000000 --- a/dhall/tests/type-errors/recordOfKind.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: Unhandled error: Sort diff --git a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldName.txt b/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldName.txt deleted file mode 100644 index 2a754fc..0000000 --- a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldName.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: annot mismatch: ({ x = 1 } : { x : Natural }) : { y : Natural } - --> :1:0 - | -1 | { x = 1 } : { y : Natural } - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: ({ x = 1 } : { x : Natural }) : { y : Natural } - | diff --git a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldType.txt b/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldType.txt deleted file mode 100644 index e67edb8..0000000 --- a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: annot mismatch: ({ x = 1 } : { x : Natural }) : { x : Text } - --> :1:0 - | -1 | { x = 1 } : { x : Text } - | ^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: ({ x = 1 } : { x : Natural }) : { x : Text } - | diff --git a/dhall/tests/type-errors/unit/AssertAlphaTrap.txt b/dhall/tests/type-errors/unit/AssertAlphaTrap.txt deleted file mode 100644 index 7e27d00..0000000 --- a/dhall/tests/type-errors/unit/AssertAlphaTrap.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: unbound variable ``_`` - --> :1:46 - | -1 | assert : (\(_: Bool) -> _) === (\(x: Bool) -> _) - | ^ not found in this scope - | diff --git a/dhall/tests/type-errors/unit/AssertDoubleZeros.txt b/dhall/tests/type-errors/unit/AssertDoubleZeros.txt deleted file mode 100644 index 12231a0..0000000 --- a/dhall/tests/type-errors/unit/AssertDoubleZeros.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: AssertMismatch - --> :1:0 - | -1 | assert : -0.0 ≡ +0.0 - | ^^^^^^^^^^^^^^^^^^^^ AssertMismatch - | diff --git a/dhall/tests/type-errors/unit/AssertNotEquivalence.txt b/dhall/tests/type-errors/unit/AssertNotEquivalence.txt deleted file mode 100644 index 5973d19..0000000 --- a/dhall/tests/type-errors/unit/AssertNotEquivalence.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: AssertMustTakeEquivalence - --> :1:0 - | -1 | assert : Bool - | ^^^^^^^^^^^^^ AssertMustTakeEquivalence - | diff --git a/dhall/tests/type-errors/unit/AssertTriviallyFalse.txt b/dhall/tests/type-errors/unit/AssertTriviallyFalse.txt deleted file mode 100644 index 5742022..0000000 --- a/dhall/tests/type-errors/unit/AssertTriviallyFalse.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: AssertMismatch - --> :1:0 - | -1 | assert : 1 === 2 - | ^^^^^^^^^^^^^^^^ AssertMismatch - | diff --git a/dhall/tests/type-errors/unit/CompletionMissingRequiredField.txt b/dhall/tests/type-errors/unit/CompletionMissingRequiredField.txt deleted file mode 100644 index d0a9a01..0000000 --- a/dhall/tests/type-errors/unit/CompletionMissingRequiredField.txt +++ /dev/null @@ -1,7 +0,0 @@ -Type error: error: annot mismatch: (Example.default ⫽ {=} : { id : Optional Natural }) : { id : Optional Natural, name : Text } - --> :1:4 - | -... -6 | in Example::{=} - | ^^^^^^^^^^^^ annot mismatch: (Example.default ⫽ {=} : { id : Optional Natural }) : { id : Optional Natural, name : Text } - | diff --git a/dhall/tests/type-errors/unit/CompletionWithWrongDefaultType.txt b/dhall/tests/type-errors/unit/CompletionWithWrongDefaultType.txt deleted file mode 100644 index d4639e9..0000000 --- a/dhall/tests/type-errors/unit/CompletionWithWrongDefaultType.txt +++ /dev/null @@ -1,7 +0,0 @@ -Type error: error: annot mismatch: (Example.default ⫽ {=} : { id : Optional Natural, name : Bool }) : { id : Optional Natural, name : Text } - --> :1:4 - | -... -6 | in Example::{=} - | ^^^^^^^^^^^^ annot mismatch: (Example.default ⫽ {=} : { id : Optional Natural, name : Bool }) : { id : Optional Natural, name : Text } - | diff --git a/dhall/tests/type-errors/unit/CompletionWithWrongFieldName.txt b/dhall/tests/type-errors/unit/CompletionWithWrongFieldName.txt deleted file mode 100644 index 0839742..0000000 --- a/dhall/tests/type-errors/unit/CompletionWithWrongFieldName.txt +++ /dev/null @@ -1,7 +0,0 @@ -Type error: error: annot mismatch: (Example.default ⫽ { nam = "John Doe" } : { id : Optional Natural, nam : Text, name : Text }) : { id : Optional Natural, name : Text } - --> :1:4 - | -... -6 | in Example::{ nam = "John Doe" } - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: (Example.default ⫽ { nam = "John Doe" } : { id : Optional Natural, nam : Text, name : Text }) : { id : Optional Natural, name : Text } - | diff --git a/dhall/tests/type-errors/unit/CompletionWithWrongOverridenType.txt b/dhall/tests/type-errors/unit/CompletionWithWrongOverridenType.txt deleted file mode 100644 index 7edef95..0000000 --- a/dhall/tests/type-errors/unit/CompletionWithWrongOverridenType.txt +++ /dev/null @@ -1,7 +0,0 @@ -Type error: error: annot mismatch: (Example.default ⫽ { name = True } : { id : Optional Natural, name : Bool }) : { id : Optional Natural, name : Text } - --> :1:4 - | -... -6 | in Example::{ name = True } - | ^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: (Example.default ⫽ { name = True } : { id : Optional Natural, name : Bool }) : { id : Optional Natural, name : Text } - | diff --git a/dhall/tests/type-errors/unit/EmptyToMap.txt b/dhall/tests/type-errors/unit/EmptyToMap.txt deleted file mode 100644 index 000fac7..0000000 --- a/dhall/tests/type-errors/unit/EmptyToMap.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: `toMap` applied to an empty record requires a type annotation - --> :1:0 - | -1 | toMap {=} - | ^^^^^^^^^ `toMap` applied to an empty record requires a type annotation - | diff --git a/dhall/tests/type-errors/unit/EquivalenceNotSameType.txt b/dhall/tests/type-errors/unit/EquivalenceNotSameType.txt deleted file mode 100644 index 12e21e4..0000000 --- a/dhall/tests/type-errors/unit/EquivalenceNotSameType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: EquivalenceTypeMismatch - --> :1:0 - | -1 | 1 === False - | ^^^^^^^^^^^ EquivalenceTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/EquivalenceNotTerms.txt b/dhall/tests/type-errors/unit/EquivalenceNotTerms.txt deleted file mode 100644 index 0183c60..0000000 --- a/dhall/tests/type-errors/unit/EquivalenceNotTerms.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: EquivalenceArgumentsMustBeTerms - --> :1:0 - | -1 | Bool === Bool - | ^^^^^^^^^^^^^ EquivalenceArgumentsMustBeTerms - | diff --git a/dhall/tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt b/dhall/tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt deleted file mode 100644 index 07278b8..0000000 --- a/dhall/tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt +++ /dev/null @@ -1,9 +0,0 @@ -Type error: error: wrong type of function argument - --> :1:1 - | -1 | (λ(_ : Natural) → _) True - | ^^^^^^^^^^^^^^^^^^ this expects an argument of type: Natural - | ^^^^ but this has type: Bool - | - = note: expected type `Natural` - found type `Bool` diff --git a/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt b/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt deleted file mode 100644 index e46904a..0000000 --- a/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: expected function, found `Bool` - --> :1:0 - | -1 | True True - | ^^^^ function application requires a function - | diff --git a/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt b/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt deleted file mode 100644 index e84eb15..0000000 --- a/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt +++ /dev/null @@ -1,7 +0,0 @@ -Type error: error: Invalid input type: `Natural` - --> :1:6 - | -1 | λ(_ : 1) → _ - | ^ this has type: `Natural` - | - = help: The input type of a function must have type `Type`, `Kind` or `Sort` diff --git a/dhall/tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt b/dhall/tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt deleted file mode 100644 index 4aa0f4f..0000000 --- a/dhall/tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt +++ /dev/null @@ -1,7 +0,0 @@ -Type error: error: Invalid input type: `Natural` - --> :1:0 - | -1 | 2 → _ - | ^ this has type: `Natural` - | - = help: The input type of a function must have type `Type`, `Kind` or `Sort` diff --git a/dhall/tests/type-errors/unit/FunctionTypeKindSort.txt b/dhall/tests/type-errors/unit/FunctionTypeKindSort.txt deleted file mode 100644 index 5b88ff7..0000000 --- a/dhall/tests/type-errors/unit/FunctionTypeKindSort.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: Unhandled error: Sort diff --git a/dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt b/dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt deleted file mode 100644 index 5b88ff7..0000000 --- a/dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: Unhandled error: Sort diff --git a/dhall/tests/type-errors/unit/HeterogenousToMap.txt b/dhall/tests/type-errors/unit/HeterogenousToMap.txt deleted file mode 100644 index 2f8abf2..0000000 --- a/dhall/tests/type-errors/unit/HeterogenousToMap.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: Every field of the record must have the same type - --> :1:0 - | -1 | toMap { foo= 1, bar= "Bar" } - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Every field of the record must have the same type - | diff --git a/dhall/tests/type-errors/unit/IfBranchesNotMatch.txt b/dhall/tests/type-errors/unit/IfBranchesNotMatch.txt deleted file mode 100644 index d58af95..0000000 --- a/dhall/tests/type-errors/unit/IfBranchesNotMatch.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: IfBranchMismatch - --> :1:0 - | -1 | if True then 1 else "" - | ^^^^^^^^^^^^^^^^^^^^^^ IfBranchMismatch - | diff --git a/dhall/tests/type-errors/unit/IfBranchesNotType.txt b/dhall/tests/type-errors/unit/IfBranchesNotType.txt deleted file mode 100644 index b70ac5f..0000000 --- a/dhall/tests/type-errors/unit/IfBranchesNotType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: IfBranchMustBeTerm - --> :1:0 - | -1 | if True then Type else Type - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ IfBranchMustBeTerm - | diff --git a/dhall/tests/type-errors/unit/IfNotBool.txt b/dhall/tests/type-errors/unit/IfNotBool.txt deleted file mode 100644 index eb5ff42..0000000 --- a/dhall/tests/type-errors/unit/IfNotBool.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidPredicate - --> :1:0 - | -1 | if 1 then 1 else 1 - | ^^^^^^^^^^^^^^^^^^ InvalidPredicate - | diff --git a/dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt b/dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt deleted file mode 100644 index 5ba4b35..0000000 --- a/dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: annot mismatch: (True : Bool) : Natural - --> :1:8 - | -1 | let x : Natural = True in True - | ^^^^^^^ annot mismatch: (True : Bool) : Natural - | diff --git a/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt b/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt deleted file mode 100644 index 2ca5819..0000000 --- a/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt +++ /dev/null @@ -1,9 +0,0 @@ -Type error: error: wrong type of function argument - --> :1:5 - | -1 | [] : List Type - | ^^^^ this expects an argument of type: Type - | ^^^^ but this has type: Kind - | - = note: expected type `Type` - found type `Kind` diff --git a/dhall/tests/type-errors/unit/ListLiteralNotType.txt b/dhall/tests/type-errors/unit/ListLiteralNotType.txt deleted file mode 100644 index 62d69e5..0000000 --- a/dhall/tests/type-errors/unit/ListLiteralNotType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidListType - --> :1:0 - | -1 | [ Bool ] - | ^^^^^^^^ InvalidListType - | diff --git a/dhall/tests/type-errors/unit/ListLiteralTypesNotMatch.txt b/dhall/tests/type-errors/unit/ListLiteralTypesNotMatch.txt deleted file mode 100644 index 33e007d..0000000 --- a/dhall/tests/type-errors/unit/ListLiteralTypesNotMatch.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidListElement - --> :1:0 - | -1 | [ True, 1 ] - | ^^^^^^^^^^^ InvalidListElement - | diff --git a/dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt b/dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt deleted file mode 100644 index a4a967a..0000000 --- a/dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MergeVariantMissingHandler - --> :1:0 - | -1 | merge {=} (< x : Bool >.x True) - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeVariantMissingHandler - | diff --git a/dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt b/dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt deleted file mode 100644 index 9175f33..0000000 --- a/dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MergeAnnotMismatch - --> :1:0 - | -1 | merge { x = 0 } < x >.x : Bool - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeAnnotMismatch - | diff --git a/dhall/tests/type-errors/unit/MergeAnnotationNotType.txt b/dhall/tests/type-errors/unit/MergeAnnotationNotType.txt deleted file mode 100644 index 1173f0c..0000000 --- a/dhall/tests/type-errors/unit/MergeAnnotationNotType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: Merge2ArgMustBeUnionOrOptional - --> :1:0 - | -1 | merge {=} <> : Type - | ^^^^^^^^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional - | diff --git a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt b/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt deleted file mode 100644 index 94442e0..0000000 --- a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MergeEmptyNeedsAnnotation - --> :1:13 - | -1 | \(x: <>) -> (merge {=} x) : Bool - | ^^^^^^^^^^^ MergeEmptyNeedsAnnotation - | diff --git a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt b/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt deleted file mode 100644 index 5dcffdf..0000000 --- a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MergeEmptyNeedsAnnotation - --> :1:26 - | -1 | \(x: <>) -> let y: Bool = merge {=} x in 1 - | ^^^^^^^^^^^ MergeEmptyNeedsAnnotation - | diff --git a/dhall/tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt b/dhall/tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt deleted file mode 100644 index bf45123..0000000 --- a/dhall/tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: Merge2ArgMustBeUnionOrOptional - --> :1:0 - | -1 | merge {=} <> - | ^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional - | diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt b/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt deleted file mode 100644 index 8528f90..0000000 --- a/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt +++ /dev/null @@ -1,9 +0,0 @@ -Type error: error: merge handler is not a function - --> :1:0 - | -1 | merge { x = True } (< x : Bool >.x True) - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression - | ^^^^^^^^^^^^ the handler for `x` has type: `Bool` - | ------------------- help: the corresponding variant has type: `Bool` - | - = help: a handler for this variant must be a function that takes an input of type: `Bool` diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt b/dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt deleted file mode 100644 index 3159340..0000000 --- a/dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: Merge2ArgMustBeUnionOrOptional - --> :1:0 - | -1 | merge { x = λ(_ : Bool) → _ } <> : Bool - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional - | diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt b/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt deleted file mode 100644 index c2229bd..0000000 --- a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt +++ /dev/null @@ -1,8 +0,0 @@ -Type error: error: Wrong handler input type - --> :1:0 - | -1 | merge { x = λ(_ : Bool) → _ } (< x : Natural >.x 1) - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression - | ^^^^^^^^^^^^^^^^^^^^^^^ the handler for `x` expects a value of type: `Bool` - | ^^^^^^^^^^^^^^^^^^^ but the corresponding variant has type: `Natural` - | diff --git a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt deleted file mode 100644 index 47f3de7..0000000 --- a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MergeHandlerTypeMismatch - --> :1:0 - | -1 | merge { x = λ(_ : Bool) → _, y = λ(_ : Natural) → _ } (< x : Bool | y : Natural >.x True) - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeHandlerTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/MergeLhsNotRecord.txt b/dhall/tests/type-errors/unit/MergeLhsNotRecord.txt deleted file mode 100644 index f27dddd..0000000 --- a/dhall/tests/type-errors/unit/MergeLhsNotRecord.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: Merge1ArgMustBeRecord - --> :1:0 - | -1 | merge True < x >.x - | ^^^^^^^^^^^^^^^^^^ Merge1ArgMustBeRecord - | diff --git a/dhall/tests/type-errors/unit/MergeMissingHandler1.txt b/dhall/tests/type-errors/unit/MergeMissingHandler1.txt deleted file mode 100644 index af58d05..0000000 --- a/dhall/tests/type-errors/unit/MergeMissingHandler1.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MergeVariantMissingHandler - --> :1:0 - | -1 | merge {=} .x - | ^^^^^^^^^^^^^^^ MergeVariantMissingHandler - | diff --git a/dhall/tests/type-errors/unit/MergeMissingHandler2.txt b/dhall/tests/type-errors/unit/MergeMissingHandler2.txt deleted file mode 100644 index 49484df..0000000 --- a/dhall/tests/type-errors/unit/MergeMissingHandler2.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MergeVariantMissingHandler - --> :1:0 - | -1 | merge { x = 0 } .x - | ^^^^^^^^^^^^^^^^^^^^^^^^^ MergeVariantMissingHandler - | diff --git a/dhall/tests/type-errors/unit/MergeRhsNotUnion.txt b/dhall/tests/type-errors/unit/MergeRhsNotUnion.txt deleted file mode 100644 index 0108725..0000000 --- a/dhall/tests/type-errors/unit/MergeRhsNotUnion.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: Merge2ArgMustBeUnionOrOptional - --> :1:0 - | -1 | merge {=} True - | ^^^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional - | diff --git a/dhall/tests/type-errors/unit/MergeUnusedHandler.txt b/dhall/tests/type-errors/unit/MergeUnusedHandler.txt deleted file mode 100644 index 2afe376..0000000 --- a/dhall/tests/type-errors/unit/MergeUnusedHandler.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MergeHandlerMissingVariant - --> :1:0 - | -1 | merge { x = 1, y = 2 } < x >.x - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeHandlerMissingVariant - | diff --git a/dhall/tests/type-errors/unit/MistypedToMap1.txt b/dhall/tests/type-errors/unit/MistypedToMap1.txt deleted file mode 100644 index 14d9791..0000000 --- a/dhall/tests/type-errors/unit/MistypedToMap1.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: Annotation mismatch - --> :1:0 - | -1 | toMap { foo= 1, bar= 4 } : Natural - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch - | diff --git a/dhall/tests/type-errors/unit/MistypedToMap2.txt b/dhall/tests/type-errors/unit/MistypedToMap2.txt deleted file mode 100644 index 88e303e..0000000 --- a/dhall/tests/type-errors/unit/MistypedToMap2.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: Annotation mismatch - --> :1:0 - | -1 | toMap { foo= 1, bar= 4 } : List Natural - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch - | diff --git a/dhall/tests/type-errors/unit/MistypedToMap3.txt b/dhall/tests/type-errors/unit/MistypedToMap3.txt deleted file mode 100644 index 6b3772d..0000000 --- a/dhall/tests/type-errors/unit/MistypedToMap3.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: Annotation mismatch - --> :1:0 - | -1 | toMap { foo= 1, bar= 4 } : List { mapKey : Natural, mapValue : Natural } - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch - | diff --git a/dhall/tests/type-errors/unit/MistypedToMap4.txt b/dhall/tests/type-errors/unit/MistypedToMap4.txt deleted file mode 100644 index e0cf651..0000000 --- a/dhall/tests/type-errors/unit/MistypedToMap4.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: Annotation mismatch - --> :1:0 - | -1 | toMap { foo= 1, bar= 4 } : List { mapKey : Text, mapValue : Text } - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch - | diff --git a/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt b/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt deleted file mode 100644 index ac336a6..0000000 --- a/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt +++ /dev/null @@ -1,9 +0,0 @@ -Type error: error: wrong type of function argument - --> :1:0 - | -1 | Natural/subtract True True - | ^^^^^^^^^^^^^^^^ this expects an argument of type: Natural - | ^^^^ but this has type: Bool - | - = note: expected type `Natural` - found type `Bool` diff --git a/dhall/tests/type-errors/unit/NonRecordToMap.txt b/dhall/tests/type-errors/unit/NonRecordToMap.txt deleted file mode 100644 index 8e83002..0000000 --- a/dhall/tests/type-errors/unit/NonRecordToMap.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: The argument to `toMap` must be a record - --> :1:0 - | -1 | toMap "text" - | ^^^^^^^^^^^^ The argument to `toMap` must be a record - | diff --git a/dhall/tests/type-errors/unit/OperatorAndNotBool.txt b/dhall/tests/type-errors/unit/OperatorAndNotBool.txt deleted file mode 100644 index f6ea50b..0000000 --- a/dhall/tests/type-errors/unit/OperatorAndNotBool.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | 1 && 1 - | ^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorEqualNotBool.txt b/dhall/tests/type-errors/unit/OperatorEqualNotBool.txt deleted file mode 100644 index 8662c16..0000000 --- a/dhall/tests/type-errors/unit/OperatorEqualNotBool.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | 1 == 1 - | ^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt b/dhall/tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt deleted file mode 100644 index 8075b99..0000000 --- a/dhall/tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | 1 # [ True ] - | ^^^^^^^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt b/dhall/tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt deleted file mode 100644 index 9e404f8..0000000 --- a/dhall/tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | [ True ] # [ 1 ] - | ^^^^^^^^^^^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt b/dhall/tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt deleted file mode 100644 index fffc898..0000000 --- a/dhall/tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | 1 # 2 - | ^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt b/dhall/tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt deleted file mode 100644 index 2ba0b91..0000000 --- a/dhall/tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | [ True ] # 1 - | ^^^^^^^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt b/dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt deleted file mode 100644 index ac04fd4..0000000 --- a/dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | 1 != 1 - | ^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorOrNotBool.txt b/dhall/tests/type-errors/unit/OperatorOrNotBool.txt deleted file mode 100644 index 9e1c4fb..0000000 --- a/dhall/tests/type-errors/unit/OperatorOrNotBool.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | 1 || 1 - | ^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt b/dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt deleted file mode 100644 index 97e0df4..0000000 --- a/dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | True + True - | ^^^^^^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt b/dhall/tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt deleted file mode 100644 index 679d991..0000000 --- a/dhall/tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | 1 ++ "" - | ^^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt b/dhall/tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt deleted file mode 100644 index 85611f7..0000000 --- a/dhall/tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | "" ++ 1 - | ^^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt b/dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt deleted file mode 100644 index d688ed6..0000000 --- a/dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: BinOpTypeMismatch - --> :1:0 - | -1 | True * True - | ^^^^^^^^^^^ BinOpTypeMismatch - | diff --git a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt b/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt deleted file mode 100644 index bfb36ae..0000000 --- a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidListType - --> :1:0 - | -1 | [] : Optional Bool - | ^^^^^^^^^^^^^^^^^^ InvalidListType - | diff --git a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt b/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt deleted file mode 100644 index 5332fcb..0000000 --- a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: annot mismatch: ([1] : List Natural) : Optional Natural - --> :1:0 - | -1 | [ 1 ] : Optional Natural - | ^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: ([1] : List Natural) : Optional Natural - | diff --git a/dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt b/dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt deleted file mode 100644 index 608c6a0..0000000 --- a/dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: RecordTypeDuplicateField - --> :1:0 - | -1 | { x = 0, x = 0 } - | ^^^^^^^^^^^^^^^^ RecordTypeDuplicateField - | diff --git a/dhall/tests/type-errors/unit/RecordMixedKinds3.txt b/dhall/tests/type-errors/unit/RecordMixedKinds3.txt deleted file mode 100644 index 5b88ff7..0000000 --- a/dhall/tests/type-errors/unit/RecordMixedKinds3.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: Unhandled error: Sort diff --git a/dhall/tests/type-errors/unit/RecordProjectionByTypeFieldTypeMismatch.txt b/dhall/tests/type-errors/unit/RecordProjectionByTypeFieldTypeMismatch.txt deleted file mode 100644 index d624075..0000000 --- a/dhall/tests/type-errors/unit/RecordProjectionByTypeFieldTypeMismatch.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: ProjectionWrongType - --> :1:0 - | -1 | { y = {=} }.( {y : Natural} ) - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ProjectionWrongType - | diff --git a/dhall/tests/type-errors/unit/RecordProjectionByTypeNotPresent.txt b/dhall/tests/type-errors/unit/RecordProjectionByTypeNotPresent.txt deleted file mode 100644 index c22c2c4..0000000 --- a/dhall/tests/type-errors/unit/RecordProjectionByTypeNotPresent.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: ProjectionMissingEntry - --> :1:0 - | -1 | { y = {=} }.( {x : Natural} ) - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ProjectionMissingEntry - | diff --git a/dhall/tests/type-errors/unit/RecordProjectionDuplicateFields.txt b/dhall/tests/type-errors/unit/RecordProjectionDuplicateFields.txt deleted file mode 100644 index 5c6520b..0000000 --- a/dhall/tests/type-errors/unit/RecordProjectionDuplicateFields.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: ProjectionDuplicateField - --> :1:0 - | -1 | { x = 1 }.{ x, x } - | ^^^^^^^^^^^^^^^^^^ ProjectionDuplicateField - | diff --git a/dhall/tests/type-errors/unit/RecordProjectionEmpty.txt b/dhall/tests/type-errors/unit/RecordProjectionEmpty.txt deleted file mode 100644 index 39f263b..0000000 --- a/dhall/tests/type-errors/unit/RecordProjectionEmpty.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: ProjectionMissingEntry - --> :1:0 - | -1 | {=}.{ x } - | ^^^^^^^^^ ProjectionMissingEntry - | diff --git a/dhall/tests/type-errors/unit/RecordProjectionNotPresent.txt b/dhall/tests/type-errors/unit/RecordProjectionNotPresent.txt deleted file mode 100644 index 032f7a0..0000000 --- a/dhall/tests/type-errors/unit/RecordProjectionNotPresent.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: ProjectionMissingEntry - --> :1:0 - | -1 | { y = {=} }.{ x } - | ^^^^^^^^^^^^^^^^^ ProjectionMissingEntry - | diff --git a/dhall/tests/type-errors/unit/RecordProjectionNotRecord.txt b/dhall/tests/type-errors/unit/RecordProjectionNotRecord.txt deleted file mode 100644 index 5ed6ffd..0000000 --- a/dhall/tests/type-errors/unit/RecordProjectionNotRecord.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: ProjectionMustBeRecord - --> :1:0 - | -1 | True.{ x } - | ^^^^^^^^^^ ProjectionMustBeRecord - | diff --git a/dhall/tests/type-errors/unit/RecordSelectionEmpty.txt b/dhall/tests/type-errors/unit/RecordSelectionEmpty.txt deleted file mode 100644 index 5b3b7f8..0000000 --- a/dhall/tests/type-errors/unit/RecordSelectionEmpty.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MissingRecordField - --> :1:0 - | -1 | {=}.x - | ^^^^^ MissingRecordField - | diff --git a/dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt b/dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt deleted file mode 100644 index d435ca0..0000000 --- a/dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MissingRecordField - --> :1:0 - | -1 | { y = {=} }.x - | ^^^^^^^^^^^^^ MissingRecordField - | diff --git a/dhall/tests/type-errors/unit/RecordSelectionNotRecord.txt b/dhall/tests/type-errors/unit/RecordSelectionNotRecord.txt deleted file mode 100644 index 3f9b7ed..0000000 --- a/dhall/tests/type-errors/unit/RecordSelectionNotRecord.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: NotARecord - --> :1:0 - | -1 | True.x - | ^^^^^^ NotARecord - | diff --git a/dhall/tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt b/dhall/tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt deleted file mode 100644 index cca28b8..0000000 --- a/dhall/tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: NotARecord - --> :1:0 - | -1 | Bool.x - | ^^^^^^ NotARecord - | diff --git a/dhall/tests/type-errors/unit/RecordTypeDuplicateFields.txt b/dhall/tests/type-errors/unit/RecordTypeDuplicateFields.txt deleted file mode 100644 index 145a59b..0000000 --- a/dhall/tests/type-errors/unit/RecordTypeDuplicateFields.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: RecordTypeDuplicateField - --> :1:0 - | -1 | { x: Natural, x: Natural } - | ^^^^^^^^^^^^^^^^^^^^^^^^^^ RecordTypeDuplicateField - | diff --git a/dhall/tests/type-errors/unit/RecordTypeValueMember.txt b/dhall/tests/type-errors/unit/RecordTypeValueMember.txt deleted file mode 100644 index 04488ad..0000000 --- a/dhall/tests/type-errors/unit/RecordTypeValueMember.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidFieldType - --> :1:0 - | -1 | { x : True } - | ^^^^^^^^^^^^ InvalidFieldType - | diff --git a/dhall/tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt b/dhall/tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt deleted file mode 100644 index f74e839..0000000 --- a/dhall/tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: error: RecordTypeMergeRequiresRecordType diff --git a/dhall/tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt b/dhall/tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt deleted file mode 100644 index f74e839..0000000 --- a/dhall/tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: error: RecordTypeMergeRequiresRecordType diff --git a/dhall/tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt b/dhall/tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt deleted file mode 100644 index f74e839..0000000 --- a/dhall/tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: error: RecordTypeMergeRequiresRecordType diff --git a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt b/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt deleted file mode 100644 index b35e64b..0000000 --- a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: RecordTypeMergeRequiresRecordType - --> :1:0 - | -1 | Bool ⩓ {} - | ^^^^^^^^^ RecordTypeMergeRequiresRecordType - | diff --git a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt b/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt deleted file mode 100644 index f74e839..0000000 --- a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: error: RecordTypeMergeRequiresRecordType diff --git a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt b/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt deleted file mode 100644 index 0200f97..0000000 --- a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: RecordTypeMergeRequiresRecordType - --> :1:0 - | -1 | {} ⩓ Bool - | ^^^^^^^^^ RecordTypeMergeRequiresRecordType - | diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt b/dhall/tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt deleted file mode 100644 index 3b158ce..0000000 --- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MustCombineRecord - --> :1:0 - | -1 | True ⫽ {=} - | ^^^^^^^^^^ MustCombineRecord - | diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt b/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt deleted file mode 100644 index 5b88ff7..0000000 --- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: Unhandled error: Sort diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt b/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt deleted file mode 100644 index 5b88ff7..0000000 --- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: Unhandled error: Sort diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt b/dhall/tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt deleted file mode 100644 index 4f9cb0d..0000000 --- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MustCombineRecord - --> :1:0 - | -1 | {=} ⫽ True - | ^^^^^^^^^^ MustCombineRecord - | diff --git a/dhall/tests/type-errors/unit/SomeNotType.txt b/dhall/tests/type-errors/unit/SomeNotType.txt deleted file mode 100644 index 3584768..0000000 --- a/dhall/tests/type-errors/unit/SomeNotType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidOptionalType - --> :1:0 - | -1 | Some Bool - | ^^^^^^^^^ InvalidOptionalType - | diff --git a/dhall/tests/type-errors/unit/Sort.txt b/dhall/tests/type-errors/unit/Sort.txt deleted file mode 100644 index 5b88ff7..0000000 --- a/dhall/tests/type-errors/unit/Sort.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: Unhandled error: Sort diff --git a/dhall/tests/type-errors/unit/TextLiteralInterpolateNotText.txt b/dhall/tests/type-errors/unit/TextLiteralInterpolateNotText.txt deleted file mode 100644 index 0132a30..0000000 --- a/dhall/tests/type-errors/unit/TextLiteralInterpolateNotText.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidTextInterpolation - --> :1:0 - | -1 | "${1}" - | ^^^^^^ InvalidTextInterpolation - | diff --git a/dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt b/dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt deleted file mode 100644 index c28073e..0000000 --- a/dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt +++ /dev/null @@ -1,7 +0,0 @@ -Type error: error: The type of `toMap x` must be of the form `List { mapKey : Text, mapValue : T }` - --> :2:0 - | -1 | -- The mapKey must be Text -2 | toMap {=} : List { mapKey : Bool, mapValue : Text } - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The type of `toMap x` must be of the form `List { mapKey : Text, mapValue : T }` - | diff --git a/dhall/tests/type-errors/unit/ToMapWrongKind.txt b/dhall/tests/type-errors/unit/ToMapWrongKind.txt deleted file mode 100644 index 8158c08..0000000 --- a/dhall/tests/type-errors/unit/ToMapWrongKind.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: `toMap` only accepts records of type `Type` - --> :1:0 - | -1 | toMap { x = Bool } - | ^^^^^^^^^^^^^^^^^^ `toMap` only accepts records of type `Type` - | diff --git a/dhall/tests/type-errors/unit/TypeAnnotationWrong.txt b/dhall/tests/type-errors/unit/TypeAnnotationWrong.txt deleted file mode 100644 index 7360e68..0000000 --- a/dhall/tests/type-errors/unit/TypeAnnotationWrong.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: annot mismatch: (1 : Natural) : Bool - --> :1:0 - | -1 | 1 : Bool - | ^^^^^^^^ annot mismatch: (1 : Natural) : Bool - | diff --git a/dhall/tests/type-errors/unit/UnionConstructorFieldNotPresent.txt b/dhall/tests/type-errors/unit/UnionConstructorFieldNotPresent.txt deleted file mode 100644 index 41d283d..0000000 --- a/dhall/tests/type-errors/unit/UnionConstructorFieldNotPresent.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: MissingUnionField - --> :1:0 - | -1 | < x : Bool >.y - | ^^^^^^^^^^^^^^ MissingUnionField - | diff --git a/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt b/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt deleted file mode 100644 index 91fb96d..0000000 --- a/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: unbound variable `constructors` - --> :1:0 - | -1 | constructors < Left : Natural | Right : Bool > - | ^^^^^^^^^^^^ not found in this scope - | diff --git a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants1.txt b/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants1.txt deleted file mode 100644 index 7372641..0000000 --- a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants1.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: UnionTypeDuplicateField - --> :1:0 - | -1 | - | ^^^^^^^ UnionTypeDuplicateField - | diff --git a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants2.txt b/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants2.txt deleted file mode 100644 index 07042c2..0000000 --- a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants2.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: UnionTypeDuplicateField - --> :1:0 - | -1 | - | ^^^^^^^^^^^^^^^^ UnionTypeDuplicateField - | diff --git a/dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt b/dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt deleted file mode 100644 index 00e24b3..0000000 --- a/dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidFieldType - --> :1:0 - | -1 | < x : Bool | y : Type > - | ^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType - | diff --git a/dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt b/dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt deleted file mode 100644 index 924b1e1..0000000 --- a/dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidFieldType - --> :1:0 - | -1 | < x : Kind | y : Type > - | ^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType - | diff --git a/dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt b/dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt deleted file mode 100644 index 1113a0d..0000000 --- a/dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidFieldType - --> :1:0 - | -1 | < x : Kind | y : Bool > - | ^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType - | diff --git a/dhall/tests/type-errors/unit/UnionTypeNotType.txt b/dhall/tests/type-errors/unit/UnionTypeNotType.txt deleted file mode 100644 index b2c06e0..0000000 --- a/dhall/tests/type-errors/unit/UnionTypeNotType.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: InvalidFieldType - --> :1:0 - | -1 | < x : True > - | ^^^^^^^^^^^^ InvalidFieldType - | diff --git a/dhall/tests/type-errors/unit/VariableFree.txt b/dhall/tests/type-errors/unit/VariableFree.txt deleted file mode 100644 index db78e15..0000000 --- a/dhall/tests/type-errors/unit/VariableFree.txt +++ /dev/null @@ -1,6 +0,0 @@ -Type error: error: unbound variable `x` - --> :1:0 - | -1 | x - | ^ not found in this scope - | diff --git a/dhall/tests/type-inference/failure/SortInLet.txt b/dhall/tests/type-inference/failure/SortInLet.txt new file mode 100644 index 0000000..5b88ff7 --- /dev/null +++ b/dhall/tests/type-inference/failure/SortInLet.txt @@ -0,0 +1 @@ +Type error: Unhandled error: Sort diff --git a/dhall/tests/type-inference/failure/hurkensParadox.txt b/dhall/tests/type-inference/failure/hurkensParadox.txt new file mode 100644 index 0000000..6b99615 --- /dev/null +++ b/dhall/tests/type-inference/failure/hurkensParadox.txt @@ -0,0 +1,15 @@ +Type error: error: wrong type of function argument + --> :6:23 + | + 1 | let bottom : Type = ∀(any : Type) → any + 2 | + 3 | in let not : Type → Type = λ(p : Type) → p → bottom + 4 | +... +10 | : pow (pow U) → U +11 | = λ(t : pow (pow U)) + | ^^^ this expects an argument of type: Kind + | ^ but this has type: Sort + | + = note: expected type `Kind` + found type `Sort` diff --git a/dhall/tests/type-inference/failure/mixedUnions.txt b/dhall/tests/type-inference/failure/mixedUnions.txt new file mode 100644 index 0000000..8e0026d --- /dev/null +++ b/dhall/tests/type-inference/failure/mixedUnions.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidFieldType + --> :1:0 + | +1 | < Left : Natural | Right : Type > + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType + | diff --git a/dhall/tests/type-inference/failure/recordOfKind.txt b/dhall/tests/type-inference/failure/recordOfKind.txt new file mode 100644 index 0000000..5b88ff7 --- /dev/null +++ b/dhall/tests/type-inference/failure/recordOfKind.txt @@ -0,0 +1 @@ +Type error: Unhandled error: Sort diff --git a/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt new file mode 100644 index 0000000..2a754fc --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt @@ -0,0 +1,6 @@ +Type error: error: annot mismatch: ({ x = 1 } : { x : Natural }) : { y : Natural } + --> :1:0 + | +1 | { x = 1 } : { y : Natural } + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: ({ x = 1 } : { x : Natural }) : { y : Natural } + | diff --git a/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt new file mode 100644 index 0000000..e67edb8 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt @@ -0,0 +1,6 @@ +Type error: error: annot mismatch: ({ x = 1 } : { x : Natural }) : { x : Text } + --> :1:0 + | +1 | { x = 1 } : { x : Text } + | ^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: ({ x = 1 } : { x : Natural }) : { x : Text } + | diff --git a/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt new file mode 100644 index 0000000..7e27d00 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt @@ -0,0 +1,6 @@ +Type error: error: unbound variable ``_`` + --> :1:46 + | +1 | assert : (\(_: Bool) -> _) === (\(x: Bool) -> _) + | ^ not found in this scope + | diff --git a/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt b/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt new file mode 100644 index 0000000..12231a0 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt @@ -0,0 +1,6 @@ +Type error: error: AssertMismatch + --> :1:0 + | +1 | assert : -0.0 ≡ +0.0 + | ^^^^^^^^^^^^^^^^^^^^ AssertMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt b/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt new file mode 100644 index 0000000..5973d19 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt @@ -0,0 +1,6 @@ +Type error: error: AssertMustTakeEquivalence + --> :1:0 + | +1 | assert : Bool + | ^^^^^^^^^^^^^ AssertMustTakeEquivalence + | diff --git a/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt b/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt new file mode 100644 index 0000000..5742022 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt @@ -0,0 +1,6 @@ +Type error: error: AssertMismatch + --> :1:0 + | +1 | assert : 1 === 2 + | ^^^^^^^^^^^^^^^^ AssertMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt b/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt new file mode 100644 index 0000000..d0a9a01 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt @@ -0,0 +1,7 @@ +Type error: error: annot mismatch: (Example.default ⫽ {=} : { id : Optional Natural }) : { id : Optional Natural, name : Text } + --> :1:4 + | +... +6 | in Example::{=} + | ^^^^^^^^^^^^ annot mismatch: (Example.default ⫽ {=} : { id : Optional Natural }) : { id : Optional Natural, name : Text } + | diff --git a/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt new file mode 100644 index 0000000..d4639e9 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt @@ -0,0 +1,7 @@ +Type error: error: annot mismatch: (Example.default ⫽ {=} : { id : Optional Natural, name : Bool }) : { id : Optional Natural, name : Text } + --> :1:4 + | +... +6 | in Example::{=} + | ^^^^^^^^^^^^ annot mismatch: (Example.default ⫽ {=} : { id : Optional Natural, name : Bool }) : { id : Optional Natural, name : Text } + | diff --git a/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt new file mode 100644 index 0000000..0839742 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt @@ -0,0 +1,7 @@ +Type error: error: annot mismatch: (Example.default ⫽ { nam = "John Doe" } : { id : Optional Natural, nam : Text, name : Text }) : { id : Optional Natural, name : Text } + --> :1:4 + | +... +6 | in Example::{ nam = "John Doe" } + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: (Example.default ⫽ { nam = "John Doe" } : { id : Optional Natural, nam : Text, name : Text }) : { id : Optional Natural, name : Text } + | diff --git a/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt new file mode 100644 index 0000000..7edef95 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt @@ -0,0 +1,7 @@ +Type error: error: annot mismatch: (Example.default ⫽ { name = True } : { id : Optional Natural, name : Bool }) : { id : Optional Natural, name : Text } + --> :1:4 + | +... +6 | in Example::{ name = True } + | ^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: (Example.default ⫽ { name = True } : { id : Optional Natural, name : Bool }) : { id : Optional Natural, name : Text } + | diff --git a/dhall/tests/type-inference/failure/unit/EmptyToMap.txt b/dhall/tests/type-inference/failure/unit/EmptyToMap.txt new file mode 100644 index 0000000..000fac7 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/EmptyToMap.txt @@ -0,0 +1,6 @@ +Type error: error: `toMap` applied to an empty record requires a type annotation + --> :1:0 + | +1 | toMap {=} + | ^^^^^^^^^ `toMap` applied to an empty record requires a type annotation + | diff --git a/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt b/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt new file mode 100644 index 0000000..12e21e4 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt @@ -0,0 +1,6 @@ +Type error: error: EquivalenceTypeMismatch + --> :1:0 + | +1 | 1 === False + | ^^^^^^^^^^^ EquivalenceTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt b/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt new file mode 100644 index 0000000..0183c60 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt @@ -0,0 +1,6 @@ +Type error: error: EquivalenceArgumentsMustBeTerms + --> :1:0 + | +1 | Bool === Bool + | ^^^^^^^^^^^^^ EquivalenceArgumentsMustBeTerms + | diff --git a/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt b/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt new file mode 100644 index 0000000..07278b8 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt @@ -0,0 +1,9 @@ +Type error: error: wrong type of function argument + --> :1:1 + | +1 | (λ(_ : Natural) → _) True + | ^^^^^^^^^^^^^^^^^^ this expects an argument of type: Natural + | ^^^^ but this has type: Bool + | + = note: expected type `Natural` + found type `Bool` diff --git a/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt b/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt new file mode 100644 index 0000000..e46904a --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt @@ -0,0 +1,6 @@ +Type error: error: expected function, found `Bool` + --> :1:0 + | +1 | True True + | ^^^^ function application requires a function + | diff --git a/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt b/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt new file mode 100644 index 0000000..e84eb15 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt @@ -0,0 +1,7 @@ +Type error: error: Invalid input type: `Natural` + --> :1:6 + | +1 | λ(_ : 1) → _ + | ^ this has type: `Natural` + | + = help: The input type of a function must have type `Type`, `Kind` or `Sort` diff --git a/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt new file mode 100644 index 0000000..4aa0f4f --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt @@ -0,0 +1,7 @@ +Type error: error: Invalid input type: `Natural` + --> :1:0 + | +1 | 2 → _ + | ^ this has type: `Natural` + | + = help: The input type of a function must have type `Type`, `Kind` or `Sort` diff --git a/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt new file mode 100644 index 0000000..5b88ff7 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt @@ -0,0 +1 @@ +Type error: Unhandled error: Sort diff --git a/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt new file mode 100644 index 0000000..5b88ff7 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt @@ -0,0 +1 @@ +Type error: Unhandled error: Sort diff --git a/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt b/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt new file mode 100644 index 0000000..2f8abf2 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt @@ -0,0 +1,6 @@ +Type error: error: Every field of the record must have the same type + --> :1:0 + | +1 | toMap { foo= 1, bar= "Bar" } + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Every field of the record must have the same type + | diff --git a/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt b/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt new file mode 100644 index 0000000..d58af95 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt @@ -0,0 +1,6 @@ +Type error: error: IfBranchMismatch + --> :1:0 + | +1 | if True then 1 else "" + | ^^^^^^^^^^^^^^^^^^^^^^ IfBranchMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt b/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt new file mode 100644 index 0000000..b70ac5f --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt @@ -0,0 +1,6 @@ +Type error: error: IfBranchMustBeTerm + --> :1:0 + | +1 | if True then Type else Type + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ IfBranchMustBeTerm + | diff --git a/dhall/tests/type-inference/failure/unit/IfNotBool.txt b/dhall/tests/type-inference/failure/unit/IfNotBool.txt new file mode 100644 index 0000000..eb5ff42 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/IfNotBool.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidPredicate + --> :1:0 + | +1 | if 1 then 1 else 1 + | ^^^^^^^^^^^^^^^^^^ InvalidPredicate + | diff --git a/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt b/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt new file mode 100644 index 0000000..5ba4b35 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt @@ -0,0 +1,6 @@ +Type error: error: annot mismatch: (True : Bool) : Natural + --> :1:8 + | +1 | let x : Natural = True in True + | ^^^^^^^ annot mismatch: (True : Bool) : Natural + | diff --git a/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt b/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt new file mode 100644 index 0000000..2ca5819 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt @@ -0,0 +1,9 @@ +Type error: error: wrong type of function argument + --> :1:5 + | +1 | [] : List Type + | ^^^^ this expects an argument of type: Type + | ^^^^ but this has type: Kind + | + = note: expected type `Type` + found type `Kind` diff --git a/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt b/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt new file mode 100644 index 0000000..62d69e5 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidListType + --> :1:0 + | +1 | [ Bool ] + | ^^^^^^^^ InvalidListType + | diff --git a/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt b/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt new file mode 100644 index 0000000..33e007d --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidListElement + --> :1:0 + | +1 | [ True, 1 ] + | ^^^^^^^^^^^ InvalidListElement + | diff --git a/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt b/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt new file mode 100644 index 0000000..a4a967a --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt @@ -0,0 +1,6 @@ +Type error: error: MergeVariantMissingHandler + --> :1:0 + | +1 | merge {=} (< x : Bool >.x True) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeVariantMissingHandler + | diff --git a/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt b/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt new file mode 100644 index 0000000..9175f33 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt @@ -0,0 +1,6 @@ +Type error: error: MergeAnnotMismatch + --> :1:0 + | +1 | merge { x = 0 } < x >.x : Bool + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeAnnotMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt b/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt new file mode 100644 index 0000000..1173f0c --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt @@ -0,0 +1,6 @@ +Type error: error: Merge2ArgMustBeUnionOrOptional + --> :1:0 + | +1 | merge {=} <> : Type + | ^^^^^^^^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional + | diff --git a/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt new file mode 100644 index 0000000..94442e0 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt @@ -0,0 +1,6 @@ +Type error: error: MergeEmptyNeedsAnnotation + --> :1:13 + | +1 | \(x: <>) -> (merge {=} x) : Bool + | ^^^^^^^^^^^ MergeEmptyNeedsAnnotation + | diff --git a/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt new file mode 100644 index 0000000..5dcffdf --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt @@ -0,0 +1,6 @@ +Type error: error: MergeEmptyNeedsAnnotation + --> :1:26 + | +1 | \(x: <>) -> let y: Bool = merge {=} x in 1 + | ^^^^^^^^^^^ MergeEmptyNeedsAnnotation + | diff --git a/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt new file mode 100644 index 0000000..bf45123 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt @@ -0,0 +1,6 @@ +Type error: error: Merge2ArgMustBeUnionOrOptional + --> :1:0 + | +1 | merge {=} <> + | ^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional + | diff --git a/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt new file mode 100644 index 0000000..8528f90 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt @@ -0,0 +1,9 @@ +Type error: error: merge handler is not a function + --> :1:0 + | +1 | merge { x = True } (< x : Bool >.x True) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression + | ^^^^^^^^^^^^ the handler for `x` has type: `Bool` + | ------------------- help: the corresponding variant has type: `Bool` + | + = help: a handler for this variant must be a function that takes an input of type: `Bool` diff --git a/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt new file mode 100644 index 0000000..3159340 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt @@ -0,0 +1,6 @@ +Type error: error: Merge2ArgMustBeUnionOrOptional + --> :1:0 + | +1 | merge { x = λ(_ : Bool) → _ } <> : Bool + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional + | diff --git a/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt new file mode 100644 index 0000000..c2229bd --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt @@ -0,0 +1,8 @@ +Type error: error: Wrong handler input type + --> :1:0 + | +1 | merge { x = λ(_ : Bool) → _ } (< x : Natural >.x 1) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression + | ^^^^^^^^^^^^^^^^^^^^^^^ the handler for `x` expects a value of type: `Bool` + | ^^^^^^^^^^^^^^^^^^^ but the corresponding variant has type: `Natural` + | diff --git a/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt b/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt new file mode 100644 index 0000000..47f3de7 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt @@ -0,0 +1,6 @@ +Type error: error: MergeHandlerTypeMismatch + --> :1:0 + | +1 | merge { x = λ(_ : Bool) → _, y = λ(_ : Natural) → _ } (< x : Bool | y : Natural >.x True) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeHandlerTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt new file mode 100644 index 0000000..f27dddd --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt @@ -0,0 +1,6 @@ +Type error: error: Merge1ArgMustBeRecord + --> :1:0 + | +1 | merge True < x >.x + | ^^^^^^^^^^^^^^^^^^ Merge1ArgMustBeRecord + | diff --git a/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt b/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt new file mode 100644 index 0000000..af58d05 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt @@ -0,0 +1,6 @@ +Type error: error: MergeVariantMissingHandler + --> :1:0 + | +1 | merge {=} .x + | ^^^^^^^^^^^^^^^ MergeVariantMissingHandler + | diff --git a/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt b/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt new file mode 100644 index 0000000..49484df --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt @@ -0,0 +1,6 @@ +Type error: error: MergeVariantMissingHandler + --> :1:0 + | +1 | merge { x = 0 } .x + | ^^^^^^^^^^^^^^^^^^^^^^^^^ MergeVariantMissingHandler + | diff --git a/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt b/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt new file mode 100644 index 0000000..0108725 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt @@ -0,0 +1,6 @@ +Type error: error: Merge2ArgMustBeUnionOrOptional + --> :1:0 + | +1 | merge {=} True + | ^^^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional + | diff --git a/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt b/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt new file mode 100644 index 0000000..2afe376 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt @@ -0,0 +1,6 @@ +Type error: error: MergeHandlerMissingVariant + --> :1:0 + | +1 | merge { x = 1, y = 2 } < x >.x + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeHandlerMissingVariant + | diff --git a/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt new file mode 100644 index 0000000..14d9791 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt @@ -0,0 +1,6 @@ +Type error: error: Annotation mismatch + --> :1:0 + | +1 | toMap { foo= 1, bar= 4 } : Natural + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch + | diff --git a/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt new file mode 100644 index 0000000..88e303e --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt @@ -0,0 +1,6 @@ +Type error: error: Annotation mismatch + --> :1:0 + | +1 | toMap { foo= 1, bar= 4 } : List Natural + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch + | diff --git a/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt new file mode 100644 index 0000000..6b3772d --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt @@ -0,0 +1,6 @@ +Type error: error: Annotation mismatch + --> :1:0 + | +1 | toMap { foo= 1, bar= 4 } : List { mapKey : Natural, mapValue : Natural } + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch + | diff --git a/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt new file mode 100644 index 0000000..e0cf651 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt @@ -0,0 +1,6 @@ +Type error: error: Annotation mismatch + --> :1:0 + | +1 | toMap { foo= 1, bar= 4 } : List { mapKey : Text, mapValue : Text } + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch + | diff --git a/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt b/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt new file mode 100644 index 0000000..ac336a6 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt @@ -0,0 +1,9 @@ +Type error: error: wrong type of function argument + --> :1:0 + | +1 | Natural/subtract True True + | ^^^^^^^^^^^^^^^^ this expects an argument of type: Natural + | ^^^^ but this has type: Bool + | + = note: expected type `Natural` + found type `Bool` diff --git a/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt b/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt new file mode 100644 index 0000000..8e83002 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt @@ -0,0 +1,6 @@ +Type error: error: The argument to `toMap` must be a record + --> :1:0 + | +1 | toMap "text" + | ^^^^^^^^^^^^ The argument to `toMap` must be a record + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt new file mode 100644 index 0000000..f6ea50b --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | 1 && 1 + | ^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt new file mode 100644 index 0000000..8662c16 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | 1 == 1 + | ^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt new file mode 100644 index 0000000..8075b99 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | 1 # [ True ] + | ^^^^^^^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt new file mode 100644 index 0000000..9e404f8 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | [ True ] # [ 1 ] + | ^^^^^^^^^^^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt new file mode 100644 index 0000000..fffc898 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | 1 # 2 + | ^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt new file mode 100644 index 0000000..2ba0b91 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | [ True ] # 1 + | ^^^^^^^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt new file mode 100644 index 0000000..ac04fd4 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | 1 != 1 + | ^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt new file mode 100644 index 0000000..9e1c4fb --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | 1 || 1 + | ^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt b/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt new file mode 100644 index 0000000..97e0df4 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | True + True + | ^^^^^^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt new file mode 100644 index 0000000..679d991 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | 1 ++ "" + | ^^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt new file mode 100644 index 0000000..85611f7 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | "" ++ 1 + | ^^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt b/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt new file mode 100644 index 0000000..d688ed6 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt @@ -0,0 +1,6 @@ +Type error: error: BinOpTypeMismatch + --> :1:0 + | +1 | True * True + | ^^^^^^^^^^^ BinOpTypeMismatch + | diff --git a/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt new file mode 100644 index 0000000..bfb36ae --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidListType + --> :1:0 + | +1 | [] : Optional Bool + | ^^^^^^^^^^^^^^^^^^ InvalidListType + | diff --git a/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt new file mode 100644 index 0000000..5332fcb --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt @@ -0,0 +1,6 @@ +Type error: error: annot mismatch: ([1] : List Natural) : Optional Natural + --> :1:0 + | +1 | [ 1 ] : Optional Natural + | ^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: ([1] : List Natural) : Optional Natural + | diff --git a/dhall/tests/type-inference/failure/unit/RecordLitDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordLitDuplicateFields.txt new file mode 100644 index 0000000..608c6a0 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordLitDuplicateFields.txt @@ -0,0 +1,6 @@ +Type error: error: RecordTypeDuplicateField + --> :1:0 + | +1 | { x = 0, x = 0 } + | ^^^^^^^^^^^^^^^^ RecordTypeDuplicateField + | diff --git a/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt new file mode 100644 index 0000000..5b88ff7 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt @@ -0,0 +1 @@ +Type error: Unhandled error: Sort diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt new file mode 100644 index 0000000..d624075 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt @@ -0,0 +1,6 @@ +Type error: error: ProjectionWrongType + --> :1:0 + | +1 | { y = {=} }.( {y : Natural} ) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ProjectionWrongType + | diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt new file mode 100644 index 0000000..c22c2c4 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt @@ -0,0 +1,6 @@ +Type error: error: ProjectionMissingEntry + --> :1:0 + | +1 | { y = {=} }.( {x : Natural} ) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ProjectionMissingEntry + | diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt new file mode 100644 index 0000000..5c6520b --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt @@ -0,0 +1,6 @@ +Type error: error: ProjectionDuplicateField + --> :1:0 + | +1 | { x = 1 }.{ x, x } + | ^^^^^^^^^^^^^^^^^^ ProjectionDuplicateField + | diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt new file mode 100644 index 0000000..39f263b --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt @@ -0,0 +1,6 @@ +Type error: error: ProjectionMissingEntry + --> :1:0 + | +1 | {=}.{ x } + | ^^^^^^^^^ ProjectionMissingEntry + | diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt new file mode 100644 index 0000000..032f7a0 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt @@ -0,0 +1,6 @@ +Type error: error: ProjectionMissingEntry + --> :1:0 + | +1 | { y = {=} }.{ x } + | ^^^^^^^^^^^^^^^^^ ProjectionMissingEntry + | diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt new file mode 100644 index 0000000..5ed6ffd --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt @@ -0,0 +1,6 @@ +Type error: error: ProjectionMustBeRecord + --> :1:0 + | +1 | True.{ x } + | ^^^^^^^^^^ ProjectionMustBeRecord + | diff --git a/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt new file mode 100644 index 0000000..5b3b7f8 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt @@ -0,0 +1,6 @@ +Type error: error: MissingRecordField + --> :1:0 + | +1 | {=}.x + | ^^^^^ MissingRecordField + | diff --git a/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt new file mode 100644 index 0000000..d435ca0 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt @@ -0,0 +1,6 @@ +Type error: error: MissingRecordField + --> :1:0 + | +1 | { y = {=} }.x + | ^^^^^^^^^^^^^ MissingRecordField + | diff --git a/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt new file mode 100644 index 0000000..3f9b7ed --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt @@ -0,0 +1,6 @@ +Type error: error: NotARecord + --> :1:0 + | +1 | True.x + | ^^^^^^ NotARecord + | diff --git a/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt new file mode 100644 index 0000000..cca28b8 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt @@ -0,0 +1,6 @@ +Type error: error: NotARecord + --> :1:0 + | +1 | Bool.x + | ^^^^^^ NotARecord + | diff --git a/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt new file mode 100644 index 0000000..145a59b --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt @@ -0,0 +1,6 @@ +Type error: error: RecordTypeDuplicateField + --> :1:0 + | +1 | { x: Natural, x: Natural } + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ RecordTypeDuplicateField + | diff --git a/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt b/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt new file mode 100644 index 0000000..04488ad --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidFieldType + --> :1:0 + | +1 | { x : True } + | ^^^^^^^^^^^^ InvalidFieldType + | diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt new file mode 100644 index 0000000..f74e839 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt @@ -0,0 +1 @@ +Type error: error: RecordTypeMergeRequiresRecordType diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt new file mode 100644 index 0000000..f74e839 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt @@ -0,0 +1 @@ +Type error: error: RecordTypeMergeRequiresRecordType diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt new file mode 100644 index 0000000..f74e839 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt @@ -0,0 +1 @@ +Type error: error: RecordTypeMergeRequiresRecordType diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt new file mode 100644 index 0000000..b35e64b --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt @@ -0,0 +1,6 @@ +Type error: error: RecordTypeMergeRequiresRecordType + --> :1:0 + | +1 | Bool ⩓ {} + | ^^^^^^^^^ RecordTypeMergeRequiresRecordType + | diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt new file mode 100644 index 0000000..f74e839 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt @@ -0,0 +1 @@ +Type error: error: RecordTypeMergeRequiresRecordType diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt new file mode 100644 index 0000000..0200f97 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt @@ -0,0 +1,6 @@ +Type error: error: RecordTypeMergeRequiresRecordType + --> :1:0 + | +1 | {} ⩓ Bool + | ^^^^^^^^^ RecordTypeMergeRequiresRecordType + | diff --git a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt new file mode 100644 index 0000000..3b158ce --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt @@ -0,0 +1,6 @@ +Type error: error: MustCombineRecord + --> :1:0 + | +1 | True ⫽ {=} + | ^^^^^^^^^^ MustCombineRecord + | diff --git a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt new file mode 100644 index 0000000..5b88ff7 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt @@ -0,0 +1 @@ +Type error: Unhandled error: Sort diff --git a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt new file mode 100644 index 0000000..5b88ff7 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt @@ -0,0 +1 @@ +Type error: Unhandled error: Sort diff --git a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt new file mode 100644 index 0000000..4f9cb0d --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt @@ -0,0 +1,6 @@ +Type error: error: MustCombineRecord + --> :1:0 + | +1 | {=} ⫽ True + | ^^^^^^^^^^ MustCombineRecord + | diff --git a/dhall/tests/type-inference/failure/unit/SomeNotType.txt b/dhall/tests/type-inference/failure/unit/SomeNotType.txt new file mode 100644 index 0000000..3584768 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/SomeNotType.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidOptionalType + --> :1:0 + | +1 | Some Bool + | ^^^^^^^^^ InvalidOptionalType + | diff --git a/dhall/tests/type-inference/failure/unit/Sort.txt b/dhall/tests/type-inference/failure/unit/Sort.txt new file mode 100644 index 0000000..5b88ff7 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/Sort.txt @@ -0,0 +1 @@ +Type error: Unhandled error: Sort diff --git a/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt b/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt new file mode 100644 index 0000000..0132a30 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidTextInterpolation + --> :1:0 + | +1 | "${1}" + | ^^^^^^ InvalidTextInterpolation + | diff --git a/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt b/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt new file mode 100644 index 0000000..c28073e --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt @@ -0,0 +1,7 @@ +Type error: error: The type of `toMap x` must be of the form `List { mapKey : Text, mapValue : T }` + --> :2:0 + | +1 | -- The mapKey must be Text +2 | toMap {=} : List { mapKey : Bool, mapValue : Text } + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The type of `toMap x` must be of the form `List { mapKey : Text, mapValue : T }` + | diff --git a/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt b/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt new file mode 100644 index 0000000..8158c08 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt @@ -0,0 +1,6 @@ +Type error: error: `toMap` only accepts records of type `Type` + --> :1:0 + | +1 | toMap { x = Bool } + | ^^^^^^^^^^^^^^^^^^ `toMap` only accepts records of type `Type` + | diff --git a/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt b/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt new file mode 100644 index 0000000..7360e68 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt @@ -0,0 +1,6 @@ +Type error: error: annot mismatch: (1 : Natural) : Bool + --> :1:0 + | +1 | 1 : Bool + | ^^^^^^^^ annot mismatch: (1 : Natural) : Bool + | diff --git a/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt b/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt new file mode 100644 index 0000000..41d283d --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt @@ -0,0 +1,6 @@ +Type error: error: MissingUnionField + --> :1:0 + | +1 | < x : Bool >.y + | ^^^^^^^^^^^^^^ MissingUnionField + | diff --git a/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt b/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt new file mode 100644 index 0000000..91fb96d --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt @@ -0,0 +1,6 @@ +Type error: error: unbound variable `constructors` + --> :1:0 + | +1 | constructors < Left : Natural | Right : Bool > + | ^^^^^^^^^^^^ not found in this scope + | diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt new file mode 100644 index 0000000..7372641 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt @@ -0,0 +1,6 @@ +Type error: error: UnionTypeDuplicateField + --> :1:0 + | +1 | + | ^^^^^^^ UnionTypeDuplicateField + | diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt new file mode 100644 index 0000000..07042c2 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt @@ -0,0 +1,6 @@ +Type error: error: UnionTypeDuplicateField + --> :1:0 + | +1 | + | ^^^^^^^^^^^^^^^^ UnionTypeDuplicateField + | diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt new file mode 100644 index 0000000..00e24b3 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidFieldType + --> :1:0 + | +1 | < x : Bool | y : Type > + | ^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType + | diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt new file mode 100644 index 0000000..924b1e1 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidFieldType + --> :1:0 + | +1 | < x : Kind | y : Type > + | ^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType + | diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt new file mode 100644 index 0000000..1113a0d --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidFieldType + --> :1:0 + | +1 | < x : Kind | y : Bool > + | ^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType + | diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt b/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt new file mode 100644 index 0000000..b2c06e0 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidFieldType + --> :1:0 + | +1 | < x : True > + | ^^^^^^^^^^^^ InvalidFieldType + | diff --git a/dhall/tests/type-inference/failure/unit/VariableFree.txt b/dhall/tests/type-inference/failure/unit/VariableFree.txt new file mode 100644 index 0000000..db78e15 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/VariableFree.txt @@ -0,0 +1,6 @@ +Type error: error: unbound variable `x` + --> :1:0 + | +1 | x + | ^ not found in this scope + | -- cgit v1.2.3