Directory listing for dhall-1.42.1 source tarball
dhall-1.42.1/dhall-lang/tests/type-inference/failure/
- DateApplyTime.dhall
- SortInLet.dhall
- hurkensParadox.dhall
- recordOfKind.dhall
- unit/
- AnnotationRecordWrongFieldName.dhall
- AnnotationRecordWrongFieldType.dhall
- AssertAlphaTrap.dhall
- AssertAlphaTrap2.dhall
- AssertDoubleZeros.dhall
- AssertNotEquivalence.dhall
- AssertTriviallyFalse.dhall
- CompletionMissingRequiredField.dhall
- CompletionWithWrongDefaultType.dhall
- CompletionWithWrongFieldName.dhall
- CompletionWithWrongOverridenType.dhall
- EmptyToMap.dhall
- EquivalenceNotSameType.dhall
- EquivalenceNotTerms.dhall
- FunctionApplicationArgumentNotMatch.dhall
- FunctionApplicationIsNotFunction.dhall
- FunctionArgumentTypeNotAType.dhall
- FunctionTypeArgumentTypeNotAType.dhall
- FunctionTypeKindSort.dhall
- FunctionTypeOutputTypeNotAType.dhall
- FunctionTypeTypeSort.dhall
- HeterogenousToMap.dhall
- IfBranchesNotMatch.dhall
- IfBranchesNotTermTypeOrKind.dhall
- IfNotBool.dhall
- LetInSort.dhall
- LetWithNonterminatingAnnotation.dhall
- LetWithWrongAnnotation.dhall
- ListLiteralEmptyNotType.dhall
- ListLiteralNotType.dhall
- ListLiteralTypesNotMatch.dhall
- MergeAlternativeHasNoHandler.dhall
- MergeAnnotationMismatch.dhall
- MergeAnnotationNotType.dhall
- MergeBool.dhall
- MergeEmptyNeedsDirectAnnotation1.dhall
- MergeEmptyNeedsDirectAnnotation2.dhall
- MergeEmptyWithoutAnnotation.dhall
- MergeHandlerFreeVar.dhall
- MergeHandlerNotFunction.dhall
- MergeHandlerNotInUnion.dhall
- MergeHandlerNotMatchAlternativeType.dhall
- MergeHandlersWithDifferentType.dhall
- MergeLhsNotRecord.dhall
- MergeMissingHandler1.dhall
- MergeMissingHandler2.dhall
- MergeRhsNotUnion.dhall
- MergeUnusedHandler.dhall
- MistypedToMap1.dhall
- MistypedToMap2.dhall
- MistypedToMap3.dhall
- MistypedToMap4.dhall
- NaturalSubtractNotNatural.dhall
- NestedAnnotInnerWrong.dhall
- NestedAnnotOuterWrong.dhall
- NonRecordToMap.dhall
- OperatorAndNotBool.dhall
- OperatorEqualNotBool.dhall
- OperatorListConcatenateLhsNotList.dhall
- OperatorListConcatenateListsNotMatch.dhall
- OperatorListConcatenateNotListsButMatch.dhall
- OperatorListConcatenateRhsNotList.dhall
- OperatorNotEqualNotBool.dhall
- OperatorOrNotBool.dhall
- OperatorPlusNotNatural.dhall
- OperatorTextConcatenateLhsNotText.dhall
- OperatorTextConcatenateRhsNotText.dhall
- OperatorTimesNotNatural.dhall
- OptionalDeprecatedSyntaxAbsent.dhall
- OptionalDeprecatedSyntaxPresent.dhall
- RecordLitDuplicateFieldsAbstract.dhall
- RecordLitDuplicateFieldsCollidingRecords.dhall
- RecordLitDuplicateFieldsNotRecords.dhall
- RecordProjectionByTypeFieldTypeMismatch.dhall
- RecordProjectionByTypeNotPresent.dhall
- RecordProjectionDuplicateFields.dhall
- RecordProjectionEmpty.dhall
- RecordProjectionNotPresent.dhall
- RecordProjectionNotRecord.dhall
- RecordSelectionEmpty.dhall
- RecordSelectionNotPresent.dhall
- RecordSelectionNotRecord.dhall
- RecordSelectionTypeNotUnionType.dhall
- RecordTypeDuplicateFields.dhall
- RecordTypeValueMember.dhall
- RecursiveRecordMergeLhsNotRecord.dhall
- RecursiveRecordMergeOverlapping.dhall
- RecursiveRecordMergeRhsNotRecord.dhall
- RecursiveRecordTypeMergeLhsNotRecordType.dhall
- RecursiveRecordTypeMergeOverlapping.dhall
- RecursiveRecordTypeMergeRhsNotRecordType.dhall
- RemovedBuiltinOptionalBuild.dhall
- RemovedBuiltinOptionalFold.dhall
- RightBiasedRecordMergeLhsNotRecord.dhall
- RightBiasedRecordMergeRhsNotRecord.dhall
- ShowConstructorNotFullyApplied.dhall
- ShowConstructorNotFullyAppliedOptional.dhall
- ShowConstructorWrongArgument.dhall
- SomeNotType.dhall
- Sort.dhall
- TextLiteralInterpolateNotText.dhall
- ToMapEmptyInvalidAnnotation.dhall
- ToMapWrongKind.dhall
- TypeAnnotationWrong.dhall
- UnionConstructorFieldNotPresent.dhall
- UnionDeprecatedConstructorsKeyword.dhall
- UnionTypeDuplicateVariants1.dhall
- UnionTypeDuplicateVariants2.dhall
- UnionTypeNotType.dhall
- VariableFree.dhall
- WithInfersKind.dhall
- WithInvalidOverrideA.dhall
- WithNotOptional.dhall
- WithNotRecord.dhall
- WithOptionalRecordTypeChanged.dhall
- WithOptionalTypeChanged.dhall
- Z.dhall