summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit
ModeNameSize
-rw-r--r--AnnotationRecordWrongFieldName.txt199logplain
-rw-r--r--AnnotationRecordWrongFieldType.txt190logplain
-rw-r--r--AssertAlphaTrap.txt202logplain
-rw-r--r--AssertAlphaTrap2.dhall63logplain
-rw-r--r--AssertAlphaTrap2.txt216logplain
-rw-r--r--AssertDoubleZeros.txt133logplain
-rw-r--r--AssertNotEquivalence.txt139logplain
-rw-r--r--AssertTriviallyFalse.txt123logplain
-rw-r--r--CompletionMissingRequiredField.txt265logplain
-rw-r--r--CompletionWithWrongDefaultType.txt291logplain
-rw-r--r--CompletionWithWrongFieldName.txt349logplain
-rw-r--r--CompletionWithWrongOverridenType.txt315logplain
-rw-r--r--EmptyToMap.txt203logplain
-rw-r--r--EquivalenceNotSameType.txt131logplain
-rw-r--r--EquivalenceNotTerms.txt151logplain
-rw-r--r--FunctionApplicationArgumentNotMatch.txt301logplain
-rw-r--r--FunctionApplicationIsNotFunction.txt147logplain
-rw-r--r--FunctionArgumentTypeNotAType.txt217logplain
-rw-r--r--FunctionTypeArgumentTypeNotAType.txt203logplain
-rw-r--r--FunctionTypeKindSort.txt137logplain
-rw-r--r--FunctionTypeOutputTypeNotAType.txt213logplain
-rw-r--r--FunctionTypeTypeSort.txt137logplain
-rw-r--r--HeterogenousToMap.txt217logplain
-rw-r--r--IfBranchesNotMatch.txt139logplain
-rw-r--r--IfBranchesNotTermTypeOrKind.txt153logplain
-rw-r--r--IfBranchesNotType.txt153logplain
-rw-r--r--IfNotBool.txt131logplain
-rw-r--r--LetInSort.txt164logplain
-rw-r--r--LetWithNonterminatingAnnotation.txt476logplain
-rw-r--r--LetWithWrongAnnotation.txt178logplain
-rw-r--r--ListLiteralEmptyNotType.txt260logplain
-rw-r--r--ListLiteralNotType.txt109logplain
-rw-r--r--ListLiteralTypesNotMatch.txt121logplain
-rw-r--r--MergeAlternativeHasNoHandler.txt177logplain
-rw-r--r--MergeAnnotationMismatch.txt159logplain
-rw-r--r--MergeAnnotationNotType.txt161logplain
-rw-r--r--MergeBool.txt234logplain
-rw-r--r--MergeEmptyNeedsDirectAnnotation1.txt170logplain
-rw-r--r--MergeEmptyNeedsDirectAnnotation2.txt193logplain
-rw-r--r--MergeEmptyWithoutAnnotation.txt147logplain
-rw-r--r--MergeHandlerNotFunction.txt443logplain
-rw-r--r--MergeHandlerNotInUnion.txt204logplain
-rw-r--r--MergeHandlerNotMatchAlternativeType.txt407logplain
-rw-r--r--MergeHandlersWithDifferentType.txt295logplain
-rw-r--r--MergeLhsNotRecord.txt141logplain
-rw-r--r--MergeMissingHandler1.txt145logplain
-rw-r--r--MergeMissingHandler2.txt165logplain
-rw-r--r--MergeRhsNotUnion.txt151logplain
-rw-r--r--MergeUnusedHandler.txt175logplain
-rw-r--r--MistypedToMap1.txt169logplain
-rw-r--r--MistypedToMap2.txt179logplain
-rw-r--r--MistypedToMap3.txt245logplain
-rw-r--r--MistypedToMap4.txt233logplain
-rw-r--r--NaturalSubtractNotNatural.txt292logplain
-rw-r--r--NestedAnnotInnerWrong.txt147logplain
-rw-r--r--NestedAnnotOuterWrong.txt157logplain
-rw-r--r--NonRecordToMap.txt167logplain
-rw-r--r--OperatorAndNotBool.txt109logplain
-rw-r--r--OperatorEqualNotBool.txt109logplain
-rw-r--r--OperatorListConcatenateLhsNotList.txt121logplain
-rw-r--r--OperatorListConcatenateListsNotMatch.txt129logplain
-rw-r--r--OperatorListConcatenateNotListsButMatch.txt107logplain
-rw-r--r--OperatorListConcatenateRhsNotList.txt121logplain
-rw-r--r--OperatorNotEqualNotBool.txt109logplain
-rw-r--r--OperatorOrNotBool.txt109logplain
-rw-r--r--OperatorPlusNotNatural.txt119logplain
-rw-r--r--OperatorTextConcatenateLhsNotText.txt111logplain
-rw-r--r--OperatorTextConcatenateRhsNotText.txt111logplain
-rw-r--r--OperatorTimesNotNatural.txt119logplain
-rw-r--r--OptionalDeprecatedSyntaxAbsent.txt129logplain
-rw-r--r--OptionalDeprecatedSyntaxPresent.txt188logplain
-rw-r--r--RecordLitDuplicateFieldsAbstract.txt53logplain
-rw-r--r--RecordLitDuplicateFieldsCollidingRecords.txt53logplain
-rw-r--r--RecordLitDuplicateFieldsNotRecords.txt53logplain
-rw-r--r--RecordProjectionByTypeFieldTypeMismatch.txt159logplain
-rw-r--r--RecordProjectionByTypeNotPresent.txt165logplain
-rw-r--r--RecordProjectionDuplicateFields.txt101logplain
-rw-r--r--RecordProjectionEmpty.txt125logplain
-rw-r--r--RecordProjectionNotPresent.txt141logplain
-rw-r--r--RecordProjectionNotRecord.txt127logplain
-rw-r--r--RecordSelectionEmpty.txt109logplain
-rw-r--r--RecordSelectionNotPresent.txt125logplain
-rw-r--r--RecordSelectionNotRecord.txt95logplain
-rw-r--r--RecordSelectionTypeNotUnionType.txt95logplain
-rw-r--r--RecordTypeDuplicateFields.txt115logplain
-rw-r--r--RecordTypeValueMember.txt117logplain
-rw-r--r--RecursiveRecordMergeLhsNotRecord.txt151logplain
-rw-r--r--RecursiveRecordMergeOverlapping.txt187logplain
-rw-r--r--RecursiveRecordMergeRhsNotRecord.txt151logplain
-rw-r--r--RecursiveRecordTypeMergeLhsNotRecordType.txt149logplain
-rw-r--r--RecursiveRecordTypeMergeOverlapping.txt191logplain
-rw-r--r--RecursiveRecordTypeMergeRhsNotRecordType.txt149logplain
-rw-r--r--RemovedBuiltinOptionalBuild.txt149logplain
-rw-r--r--RemovedBuiltinOptionalFold.txt146logplain
-rw-r--r--RightBiasedRecordMergeLhsNotRecord.txt119logplain
-rw-r--r--RightBiasedRecordMergeRhsNotRecord.txt119logplain
-rw-r--r--SomeNotType.txt119logplain
-rw-r--r--Sort.txt121logplain
-rw-r--r--TextLiteralInterpolateNotText.txt123logplain
-rw-r--r--ToMapEmptyInvalidAnnotation.txt356logplain
-rw-r--r--ToMapWrongKind.txt185logplain
-rw-r--r--TypeAnnotationWrong.txt134logplain
-rw-r--r--UnionConstructorFieldNotPresent.txt125logplain
-rw-r--r--UnionDeprecatedConstructorsKeyword.txt175logplain
-rw-r--r--UnionTypeDuplicateVariants1.txt79logplain
-rw-r--r--UnionTypeDuplicateVariants2.txt97logplain
-rw-r--r--UnionTypeNotType.txt121logplain
-rw-r--r--VariableFree.txt108logplain
-rw-r--r--WithInfersKind.dhall25logplain
-rw-r--r--WithInfersKind.txt149logplain
-rw-r--r--WithInvalidOverrideA.txt143logplain
-rw-r--r--WithNotRecord.txt121logplain
-rw-r--r--WithUnderscore.txt161logplain
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 12:57:33 +0000