diff options
author | Nadrieril Feneanar | 2020-02-09 20:12:13 +0000 |
---|---|---|
committer | GitHub | 2020-02-09 20:12:13 +0000 |
commit | 75889ac64e2d04dfd7c00fc59e29e4530e69cc9a (patch) | |
tree | cf28b0104879bd73802c4a21c4ca76b298d1cb04 /dhall/tests/type-inference | |
parent | 5abc0628058a318782c46614d943c034711845c6 (diff) | |
parent | 4c2a28b844b18d7b67278a1c8f628d9a95ea37c4 (diff) |
Merge pull request #130 from Nadrieril/improve-tests
Improve the test harness
Diffstat (limited to '')
-rw-r--r-- | dhall/tests/type-inference/failure/SortInLet.txt (renamed from dhall/tests/type-errors/SortInLet.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/hurkensParadox.txt (renamed from dhall/tests/type-errors/hurkensParadox.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/mixedUnions.txt (renamed from dhall/tests/type-errors/mixedUnions.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/recordOfKind.txt (renamed from dhall/tests/type-errors/recordOfKind.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt (renamed from dhall/tests/type-errors/unit/AnnotationRecordWrongFieldName.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt (renamed from dhall/tests/type-errors/unit/AnnotationRecordWrongFieldType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt (renamed from dhall/tests/type-errors/unit/AssertAlphaTrap.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt (renamed from dhall/tests/type-errors/unit/AssertDoubleZeros.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt (renamed from dhall/tests/type-errors/unit/AssertNotEquivalence.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt (renamed from dhall/tests/type-errors/unit/AssertTriviallyFalse.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt (renamed from dhall/tests/type-errors/unit/CompletionMissingRequiredField.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt (renamed from dhall/tests/type-errors/unit/CompletionWithWrongDefaultType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt (renamed from dhall/tests/type-errors/unit/CompletionWithWrongFieldName.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt (renamed from dhall/tests/type-errors/unit/CompletionWithWrongOverridenType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/EmptyToMap.txt (renamed from dhall/tests/type-errors/unit/EmptyToMap.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt (renamed from dhall/tests/type-errors/unit/EquivalenceNotSameType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt (renamed from dhall/tests/type-errors/unit/EquivalenceNotTerms.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt (renamed from dhall/tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt (renamed from dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt (renamed from dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt (renamed from dhall/tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt (renamed from dhall/tests/type-errors/unit/FunctionTypeKindSort.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt (renamed from dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt (renamed from dhall/tests/type-errors/unit/HeterogenousToMap.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt (renamed from dhall/tests/type-errors/unit/IfBranchesNotMatch.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt (renamed from dhall/tests/type-errors/unit/IfBranchesNotType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/IfNotBool.txt (renamed from dhall/tests/type-errors/unit/IfNotBool.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt (renamed from dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt (renamed from dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt (renamed from dhall/tests/type-errors/unit/ListLiteralNotType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt (renamed from dhall/tests/type-errors/unit/ListLiteralTypesNotMatch.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt (renamed from dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt (renamed from dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt (renamed from dhall/tests/type-errors/unit/MergeAnnotationNotType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt (renamed from dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt (renamed from dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt (renamed from dhall/tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt (renamed from dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt (renamed from dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt (renamed from dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt (renamed from dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt (renamed from dhall/tests/type-errors/unit/MergeLhsNotRecord.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt (renamed from dhall/tests/type-errors/unit/MergeMissingHandler1.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt (renamed from dhall/tests/type-errors/unit/MergeMissingHandler2.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt (renamed from dhall/tests/type-errors/unit/MergeRhsNotUnion.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt (renamed from dhall/tests/type-errors/unit/MergeUnusedHandler.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MistypedToMap1.txt (renamed from dhall/tests/type-errors/unit/MistypedToMap1.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MistypedToMap2.txt (renamed from dhall/tests/type-errors/unit/MistypedToMap2.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MistypedToMap3.txt (renamed from dhall/tests/type-errors/unit/MistypedToMap3.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/MistypedToMap4.txt (renamed from dhall/tests/type-errors/unit/MistypedToMap4.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt (renamed from dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/NonRecordToMap.txt (renamed from dhall/tests/type-errors/unit/NonRecordToMap.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt (renamed from dhall/tests/type-errors/unit/OperatorAndNotBool.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt (renamed from dhall/tests/type-errors/unit/OperatorEqualNotBool.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt (renamed from dhall/tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt (renamed from dhall/tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt (renamed from dhall/tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt (renamed from dhall/tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt (renamed from dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt (renamed from dhall/tests/type-errors/unit/OperatorOrNotBool.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt (renamed from dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt (renamed from dhall/tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt (renamed from dhall/tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt (renamed from dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt (renamed from dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt (renamed from dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordLitDuplicateFields.txt (renamed from dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt (renamed from dhall/tests/type-errors/unit/RecordMixedKinds3.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionByTypeFieldTypeMismatch.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionByTypeNotPresent.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionDuplicateFields.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionEmpty.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionNotPresent.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionNotRecord.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt (renamed from dhall/tests/type-errors/unit/RecordSelectionEmpty.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt (renamed from dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt (renamed from dhall/tests/type-errors/unit/RecordSelectionNotRecord.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt (renamed from dhall/tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt (renamed from dhall/tests/type-errors/unit/RecordTypeDuplicateFields.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt (renamed from dhall/tests/type-errors/unit/RecordTypeValueMember.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt (renamed from dhall/tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt (renamed from dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt (renamed from dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt (renamed from dhall/tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/SomeNotType.txt (renamed from dhall/tests/type-errors/unit/SomeNotType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/Sort.txt (renamed from dhall/tests/type-errors/unit/Sort.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt (renamed from dhall/tests/type-errors/unit/TextLiteralInterpolateNotText.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt (renamed from dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt (renamed from dhall/tests/type-errors/unit/ToMapWrongKind.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt (renamed from dhall/tests/type-errors/unit/TypeAnnotationWrong.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt (renamed from dhall/tests/type-errors/unit/UnionConstructorFieldNotPresent.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt (renamed from dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt (renamed from dhall/tests/type-errors/unit/UnionTypeDuplicateVariants1.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt (renamed from dhall/tests/type-errors/unit/UnionTypeDuplicateVariants2.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt (renamed from dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt (renamed from dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt (renamed from dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt (renamed from dhall/tests/type-errors/unit/UnionTypeNotType.txt) | 0 | ||||
-rw-r--r-- | dhall/tests/type-inference/failure/unit/VariableFree.txt (renamed from dhall/tests/type-errors/unit/VariableFree.txt) | 0 |
105 files changed, 0 insertions, 0 deletions
diff --git a/dhall/tests/type-errors/SortInLet.txt b/dhall/tests/type-inference/failure/SortInLet.txt index 5b88ff7..5b88ff7 100644 --- a/dhall/tests/type-errors/SortInLet.txt +++ b/dhall/tests/type-inference/failure/SortInLet.txt diff --git a/dhall/tests/type-errors/hurkensParadox.txt b/dhall/tests/type-inference/failure/hurkensParadox.txt index 6b99615..6b99615 100644 --- a/dhall/tests/type-errors/hurkensParadox.txt +++ b/dhall/tests/type-inference/failure/hurkensParadox.txt diff --git a/dhall/tests/type-errors/mixedUnions.txt b/dhall/tests/type-inference/failure/mixedUnions.txt index 8e0026d..8e0026d 100644 --- a/dhall/tests/type-errors/mixedUnions.txt +++ b/dhall/tests/type-inference/failure/mixedUnions.txt diff --git a/dhall/tests/type-errors/recordOfKind.txt b/dhall/tests/type-inference/failure/recordOfKind.txt index 5b88ff7..5b88ff7 100644 --- a/dhall/tests/type-errors/recordOfKind.txt +++ b/dhall/tests/type-inference/failure/recordOfKind.txt diff --git a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldName.txt b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt index 2a754fc..2a754fc 100644 --- a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldName.txt +++ b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt diff --git a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldType.txt b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt index e67edb8..e67edb8 100644 --- a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldType.txt +++ b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt diff --git a/dhall/tests/type-errors/unit/AssertAlphaTrap.txt b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt index 7e27d00..7e27d00 100644 --- a/dhall/tests/type-errors/unit/AssertAlphaTrap.txt +++ b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt diff --git a/dhall/tests/type-errors/unit/AssertDoubleZeros.txt b/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt index 12231a0..12231a0 100644 --- a/dhall/tests/type-errors/unit/AssertDoubleZeros.txt +++ b/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt diff --git a/dhall/tests/type-errors/unit/AssertNotEquivalence.txt b/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt index 5973d19..5973d19 100644 --- a/dhall/tests/type-errors/unit/AssertNotEquivalence.txt +++ b/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt diff --git a/dhall/tests/type-errors/unit/AssertTriviallyFalse.txt b/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt index 5742022..5742022 100644 --- a/dhall/tests/type-errors/unit/AssertTriviallyFalse.txt +++ b/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt diff --git a/dhall/tests/type-errors/unit/CompletionMissingRequiredField.txt b/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt index d0a9a01..d0a9a01 100644 --- a/dhall/tests/type-errors/unit/CompletionMissingRequiredField.txt +++ b/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt diff --git a/dhall/tests/type-errors/unit/CompletionWithWrongDefaultType.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt index d4639e9..d4639e9 100644 --- a/dhall/tests/type-errors/unit/CompletionWithWrongDefaultType.txt +++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt diff --git a/dhall/tests/type-errors/unit/CompletionWithWrongFieldName.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt index 0839742..0839742 100644 --- a/dhall/tests/type-errors/unit/CompletionWithWrongFieldName.txt +++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt diff --git a/dhall/tests/type-errors/unit/CompletionWithWrongOverridenType.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt index 7edef95..7edef95 100644 --- a/dhall/tests/type-errors/unit/CompletionWithWrongOverridenType.txt +++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt diff --git a/dhall/tests/type-errors/unit/EmptyToMap.txt b/dhall/tests/type-inference/failure/unit/EmptyToMap.txt index 000fac7..000fac7 100644 --- a/dhall/tests/type-errors/unit/EmptyToMap.txt +++ b/dhall/tests/type-inference/failure/unit/EmptyToMap.txt diff --git a/dhall/tests/type-errors/unit/EquivalenceNotSameType.txt b/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt index 12e21e4..12e21e4 100644 --- a/dhall/tests/type-errors/unit/EquivalenceNotSameType.txt +++ b/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt diff --git a/dhall/tests/type-errors/unit/EquivalenceNotTerms.txt b/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt index 0183c60..0183c60 100644 --- a/dhall/tests/type-errors/unit/EquivalenceNotTerms.txt +++ b/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt diff --git a/dhall/tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt b/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt index 07278b8..07278b8 100644 --- a/dhall/tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt +++ b/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt diff --git a/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt b/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt index e46904a..e46904a 100644 --- a/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt +++ b/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt diff --git a/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt b/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt index e84eb15..e84eb15 100644 --- a/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt +++ b/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt diff --git a/dhall/tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt index 4aa0f4f..4aa0f4f 100644 --- a/dhall/tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt +++ b/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt diff --git a/dhall/tests/type-errors/unit/FunctionTypeKindSort.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt index 5b88ff7..5b88ff7 100644 --- a/dhall/tests/type-errors/unit/FunctionTypeKindSort.txt +++ b/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt diff --git a/dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt index 5b88ff7..5b88ff7 100644 --- a/dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt +++ b/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt diff --git a/dhall/tests/type-errors/unit/HeterogenousToMap.txt b/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt index 2f8abf2..2f8abf2 100644 --- a/dhall/tests/type-errors/unit/HeterogenousToMap.txt +++ b/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt diff --git a/dhall/tests/type-errors/unit/IfBranchesNotMatch.txt b/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt index d58af95..d58af95 100644 --- a/dhall/tests/type-errors/unit/IfBranchesNotMatch.txt +++ b/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt diff --git a/dhall/tests/type-errors/unit/IfBranchesNotType.txt b/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt index b70ac5f..b70ac5f 100644 --- a/dhall/tests/type-errors/unit/IfBranchesNotType.txt +++ b/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt diff --git a/dhall/tests/type-errors/unit/IfNotBool.txt b/dhall/tests/type-inference/failure/unit/IfNotBool.txt index eb5ff42..eb5ff42 100644 --- a/dhall/tests/type-errors/unit/IfNotBool.txt +++ b/dhall/tests/type-inference/failure/unit/IfNotBool.txt diff --git a/dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt b/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt index 5ba4b35..5ba4b35 100644 --- a/dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt +++ b/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt diff --git a/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt b/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt index 2ca5819..2ca5819 100644 --- a/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt +++ b/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt diff --git a/dhall/tests/type-errors/unit/ListLiteralNotType.txt b/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt index 62d69e5..62d69e5 100644 --- a/dhall/tests/type-errors/unit/ListLiteralNotType.txt +++ b/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt diff --git a/dhall/tests/type-errors/unit/ListLiteralTypesNotMatch.txt b/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt index 33e007d..33e007d 100644 --- a/dhall/tests/type-errors/unit/ListLiteralTypesNotMatch.txt +++ b/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt diff --git a/dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt b/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt index a4a967a..a4a967a 100644 --- a/dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt +++ b/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt diff --git a/dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt b/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt index 9175f33..9175f33 100644 --- a/dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt +++ b/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt diff --git a/dhall/tests/type-errors/unit/MergeAnnotationNotType.txt b/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt index 1173f0c..1173f0c 100644 --- a/dhall/tests/type-errors/unit/MergeAnnotationNotType.txt +++ b/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt diff --git a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt index 94442e0..94442e0 100644 --- a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt +++ b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt diff --git a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt index 5dcffdf..5dcffdf 100644 --- a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt +++ b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt diff --git a/dhall/tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt index bf45123..bf45123 100644 --- a/dhall/tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt +++ b/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt index 8528f90..8528f90 100644 --- a/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt +++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt index 3159340..3159340 100644 --- a/dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt +++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt index c2229bd..c2229bd 100644 --- a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt +++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt diff --git a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt b/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt index 47f3de7..47f3de7 100644 --- a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt +++ b/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt diff --git a/dhall/tests/type-errors/unit/MergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt index f27dddd..f27dddd 100644 --- a/dhall/tests/type-errors/unit/MergeLhsNotRecord.txt +++ b/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt diff --git a/dhall/tests/type-errors/unit/MergeMissingHandler1.txt b/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt index af58d05..af58d05 100644 --- a/dhall/tests/type-errors/unit/MergeMissingHandler1.txt +++ b/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt diff --git a/dhall/tests/type-errors/unit/MergeMissingHandler2.txt b/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt index 49484df..49484df 100644 --- a/dhall/tests/type-errors/unit/MergeMissingHandler2.txt +++ b/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt diff --git a/dhall/tests/type-errors/unit/MergeRhsNotUnion.txt b/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt index 0108725..0108725 100644 --- a/dhall/tests/type-errors/unit/MergeRhsNotUnion.txt +++ b/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt diff --git a/dhall/tests/type-errors/unit/MergeUnusedHandler.txt b/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt index 2afe376..2afe376 100644 --- a/dhall/tests/type-errors/unit/MergeUnusedHandler.txt +++ b/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt diff --git a/dhall/tests/type-errors/unit/MistypedToMap1.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt index 14d9791..14d9791 100644 --- a/dhall/tests/type-errors/unit/MistypedToMap1.txt +++ b/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt diff --git a/dhall/tests/type-errors/unit/MistypedToMap2.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt index 88e303e..88e303e 100644 --- a/dhall/tests/type-errors/unit/MistypedToMap2.txt +++ b/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt diff --git a/dhall/tests/type-errors/unit/MistypedToMap3.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt index 6b3772d..6b3772d 100644 --- a/dhall/tests/type-errors/unit/MistypedToMap3.txt +++ b/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt diff --git a/dhall/tests/type-errors/unit/MistypedToMap4.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt index e0cf651..e0cf651 100644 --- a/dhall/tests/type-errors/unit/MistypedToMap4.txt +++ b/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt diff --git a/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt b/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt index ac336a6..ac336a6 100644 --- a/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt +++ b/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt diff --git a/dhall/tests/type-errors/unit/NonRecordToMap.txt b/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt index 8e83002..8e83002 100644 --- a/dhall/tests/type-errors/unit/NonRecordToMap.txt +++ b/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt diff --git a/dhall/tests/type-errors/unit/OperatorAndNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt index f6ea50b..f6ea50b 100644 --- a/dhall/tests/type-errors/unit/OperatorAndNotBool.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt diff --git a/dhall/tests/type-errors/unit/OperatorEqualNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt index 8662c16..8662c16 100644 --- a/dhall/tests/type-errors/unit/OperatorEqualNotBool.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt index 8075b99..8075b99 100644 --- a/dhall/tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt index 9e404f8..9e404f8 100644 --- a/dhall/tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt index fffc898..fffc898 100644 --- a/dhall/tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt index 2ba0b91..2ba0b91 100644 --- a/dhall/tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt diff --git a/dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt index ac04fd4..ac04fd4 100644 --- a/dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt diff --git a/dhall/tests/type-errors/unit/OperatorOrNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt index 9e1c4fb..9e1c4fb 100644 --- a/dhall/tests/type-errors/unit/OperatorOrNotBool.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt diff --git a/dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt b/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt index 97e0df4..97e0df4 100644 --- a/dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt diff --git a/dhall/tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt index 679d991..679d991 100644 --- a/dhall/tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt diff --git a/dhall/tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt index 85611f7..85611f7 100644 --- a/dhall/tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt diff --git a/dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt b/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt index d688ed6..d688ed6 100644 --- a/dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt +++ b/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt diff --git a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt index bfb36ae..bfb36ae 100644 --- a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt +++ b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt diff --git a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt index 5332fcb..5332fcb 100644 --- a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt +++ b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt diff --git a/dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordLitDuplicateFields.txt index 608c6a0..608c6a0 100644 --- a/dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt +++ b/dhall/tests/type-inference/failure/unit/RecordLitDuplicateFields.txt diff --git a/dhall/tests/type-errors/unit/RecordMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt index 5b88ff7..5b88ff7 100644 --- a/dhall/tests/type-errors/unit/RecordMixedKinds3.txt +++ b/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt diff --git a/dhall/tests/type-errors/unit/RecordProjectionByTypeFieldTypeMismatch.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt index d624075..d624075 100644 --- a/dhall/tests/type-errors/unit/RecordProjectionByTypeFieldTypeMismatch.txt +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt diff --git a/dhall/tests/type-errors/unit/RecordProjectionByTypeNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt index c22c2c4..c22c2c4 100644 --- a/dhall/tests/type-errors/unit/RecordProjectionByTypeNotPresent.txt +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt diff --git a/dhall/tests/type-errors/unit/RecordProjectionDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt index 5c6520b..5c6520b 100644 --- a/dhall/tests/type-errors/unit/RecordProjectionDuplicateFields.txt +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt diff --git a/dhall/tests/type-errors/unit/RecordProjectionEmpty.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt index 39f263b..39f263b 100644 --- a/dhall/tests/type-errors/unit/RecordProjectionEmpty.txt +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt diff --git a/dhall/tests/type-errors/unit/RecordProjectionNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt index 032f7a0..032f7a0 100644 --- a/dhall/tests/type-errors/unit/RecordProjectionNotPresent.txt +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt diff --git a/dhall/tests/type-errors/unit/RecordProjectionNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt index 5ed6ffd..5ed6ffd 100644 --- a/dhall/tests/type-errors/unit/RecordProjectionNotRecord.txt +++ b/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt diff --git a/dhall/tests/type-errors/unit/RecordSelectionEmpty.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt index 5b3b7f8..5b3b7f8 100644 --- a/dhall/tests/type-errors/unit/RecordSelectionEmpty.txt +++ b/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt diff --git a/dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt index d435ca0..d435ca0 100644 --- a/dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt +++ b/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt diff --git a/dhall/tests/type-errors/unit/RecordSelectionNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt index 3f9b7ed..3f9b7ed 100644 --- a/dhall/tests/type-errors/unit/RecordSelectionNotRecord.txt +++ b/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt diff --git a/dhall/tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt index cca28b8..cca28b8 100644 --- a/dhall/tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt +++ b/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt diff --git a/dhall/tests/type-errors/unit/RecordTypeDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt index 145a59b..145a59b 100644 --- a/dhall/tests/type-errors/unit/RecordTypeDuplicateFields.txt +++ b/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt diff --git a/dhall/tests/type-errors/unit/RecordTypeValueMember.txt b/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt index 04488ad..04488ad 100644 --- a/dhall/tests/type-errors/unit/RecordTypeValueMember.txt +++ b/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt diff --git a/dhall/tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt index f74e839..f74e839 100644 --- a/dhall/tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt diff --git a/dhall/tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt index f74e839..f74e839 100644 --- a/dhall/tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt diff --git a/dhall/tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt index f74e839..f74e839 100644 --- a/dhall/tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt diff --git a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt index b35e64b..b35e64b 100644 --- a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt diff --git a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt index f74e839..f74e839 100644 --- a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt diff --git a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt index 0200f97..0200f97 100644 --- a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt +++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt index 3b158ce..3b158ce 100644 --- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt +++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt index 5b88ff7..5b88ff7 100644 --- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt +++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt index 5b88ff7..5b88ff7 100644 --- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt +++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt index 4f9cb0d..4f9cb0d 100644 --- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt +++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt diff --git a/dhall/tests/type-errors/unit/SomeNotType.txt b/dhall/tests/type-inference/failure/unit/SomeNotType.txt index 3584768..3584768 100644 --- a/dhall/tests/type-errors/unit/SomeNotType.txt +++ b/dhall/tests/type-inference/failure/unit/SomeNotType.txt diff --git a/dhall/tests/type-errors/unit/Sort.txt b/dhall/tests/type-inference/failure/unit/Sort.txt index 5b88ff7..5b88ff7 100644 --- a/dhall/tests/type-errors/unit/Sort.txt +++ b/dhall/tests/type-inference/failure/unit/Sort.txt diff --git a/dhall/tests/type-errors/unit/TextLiteralInterpolateNotText.txt b/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt index 0132a30..0132a30 100644 --- a/dhall/tests/type-errors/unit/TextLiteralInterpolateNotText.txt +++ b/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt diff --git a/dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt b/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt index c28073e..c28073e 100644 --- a/dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt +++ b/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt diff --git a/dhall/tests/type-errors/unit/ToMapWrongKind.txt b/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt index 8158c08..8158c08 100644 --- a/dhall/tests/type-errors/unit/ToMapWrongKind.txt +++ b/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt diff --git a/dhall/tests/type-errors/unit/TypeAnnotationWrong.txt b/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt index 7360e68..7360e68 100644 --- a/dhall/tests/type-errors/unit/TypeAnnotationWrong.txt +++ b/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt diff --git a/dhall/tests/type-errors/unit/UnionConstructorFieldNotPresent.txt b/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt index 41d283d..41d283d 100644 --- a/dhall/tests/type-errors/unit/UnionConstructorFieldNotPresent.txt +++ b/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt diff --git a/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt b/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt index 91fb96d..91fb96d 100644 --- a/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt +++ b/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt diff --git a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants1.txt b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt index 7372641..7372641 100644 --- a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants1.txt +++ b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt diff --git a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants2.txt b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt index 07042c2..07042c2 100644 --- a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants2.txt +++ b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt diff --git a/dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt index 00e24b3..00e24b3 100644 --- a/dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt +++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt diff --git a/dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt index 924b1e1..924b1e1 100644 --- a/dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt +++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt diff --git a/dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt index 1113a0d..1113a0d 100644 --- a/dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt +++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt diff --git a/dhall/tests/type-errors/unit/UnionTypeNotType.txt b/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt index b2c06e0..b2c06e0 100644 --- a/dhall/tests/type-errors/unit/UnionTypeNotType.txt +++ b/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt diff --git a/dhall/tests/type-errors/unit/VariableFree.txt b/dhall/tests/type-inference/failure/unit/VariableFree.txt index db78e15..db78e15 100644 --- a/dhall/tests/type-errors/unit/VariableFree.txt +++ b/dhall/tests/type-inference/failure/unit/VariableFree.txt |