package info (click to toggle)
haskell-dhall 1.42.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 18,712 kB
  • sloc: haskell: 24,777; makefile: 7

Folder: unit

d .. (parent)
- - rw-r--r-- 28 AnnotationRecordWrongFieldName.dhall
- - rw-r--r-- 25 AnnotationRecordWrongFieldType.dhall
- - rw-r--r-- 49 AssertAlphaTrap.dhall
- - rw-r--r-- 63 AssertAlphaTrap2.dhall
- - rw-r--r-- 23 AssertDoubleZeros.dhall
- - rw-r--r-- 14 AssertNotEquivalence.dhall
- - rw-r--r-- 17 AssertTriviallyFalse.dhall
- - rw-r--r-- 134 CompletionMissingRequiredField.dhall
- - rw-r--r-- 147 CompletionWithWrongDefaultType.dhall
- - rw-r--r-- 162 CompletionWithWrongFieldName.dhall
- - rw-r--r-- 157 CompletionWithWrongOverridenType.dhall
- - rw-r--r-- 10 EmptyToMap.dhall
- - rw-r--r-- 12 EquivalenceNotSameType.dhall
- - rw-r--r-- 14 EquivalenceNotTerms.dhall
- - rw-r--r-- 29 FunctionApplicationArgumentNotMatch.dhall
- - rw-r--r-- 10 FunctionApplicationIsNotFunction.dhall
- - rw-r--r-- 16 FunctionArgumentTypeNotAType.dhall
- - rw-r--r-- 8 FunctionTypeArgumentTypeNotAType.dhall
- - rw-r--r-- 14 FunctionTypeKindSort.dhall
- - rw-r--r-- 10 FunctionTypeOutputTypeNotAType.dhall
- - rw-r--r-- 14 FunctionTypeTypeSort.dhall
- - rw-r--r-- 29 HeterogenousToMap.dhall
- - rw-r--r-- 23 IfBranchesNotMatch.dhall
- - rw-r--r-- 28 IfBranchesNotTermTypeOrKind.dhall
- - rw-r--r-- 19 IfNotBool.dhall
- - rw-r--r-- 29 LetInSort.dhall
- - rw-r--r-- 516 LetWithNonterminatingAnnotation.dhall
- - rw-r--r-- 31 LetWithWrongAnnotation.dhall
- - rw-r--r-- 15 ListLiteralEmptyNotType.dhall
- - rw-r--r-- 9 ListLiteralNotType.dhall
- - rw-r--r-- 12 ListLiteralTypesNotMatch.dhall
- - rw-r--r-- 32 MergeAlternativeHasNoHandler.dhall
- - rw-r--r-- 31 MergeAnnotationMismatch.dhall
- - rw-r--r-- 20 MergeAnnotationNotType.dhall
- - rw-r--r-- 56 MergeBool.dhall
- - rw-r--r-- 33 MergeEmptyNeedsDirectAnnotation1.dhall
- - rw-r--r-- 43 MergeEmptyNeedsDirectAnnotation2.dhall
- - rw-r--r-- 13 MergeEmptyWithoutAnnotation.dhall
- - rw-r--r-- 38 MergeHandlerFreeVar.dhall
- - rw-r--r-- 41 MergeHandlerNotFunction.dhall
- - rw-r--r-- 43 MergeHandlerNotInUnion.dhall
- - rw-r--r-- 55 MergeHandlerNotMatchAlternativeType.dhall
- - rw-r--r-- 96 MergeHandlersWithDifferentType.dhall
- - rw-r--r-- 19 MergeLhsNotRecord.dhall
- - rw-r--r-- 16 MergeMissingHandler1.dhall
- - rw-r--r-- 26 MergeMissingHandler2.dhall
- - rw-r--r-- 15 MergeRhsNotUnion.dhall
- - rw-r--r-- 31 MergeUnusedHandler.dhall
- - rw-r--r-- 35 MistypedToMap1.dhall
- - rw-r--r-- 40 MistypedToMap2.dhall
- - rw-r--r-- 73 MistypedToMap3.dhall
- - rw-r--r-- 67 MistypedToMap4.dhall
- - rw-r--r-- 27 NaturalSubtractNotNatural.dhall
- - rw-r--r-- 21 NestedAnnotInnerWrong.dhall
- - rw-r--r-- 21 NestedAnnotOuterWrong.dhall
- - rw-r--r-- 13 NonRecordToMap.dhall
- - rw-r--r-- 7 OperatorAndNotBool.dhall
- - rw-r--r-- 7 OperatorEqualNotBool.dhall
- - rw-r--r-- 13 OperatorListConcatenateLhsNotList.dhall
- - rw-r--r-- 17 OperatorListConcatenateListsNotMatch.dhall
- - rw-r--r-- 6 OperatorListConcatenateNotListsButMatch.dhall
- - rw-r--r-- 13 OperatorListConcatenateRhsNotList.dhall
- - rw-r--r-- 7 OperatorNotEqualNotBool.dhall
- - rw-r--r-- 7 OperatorOrNotBool.dhall
- - rw-r--r-- 12 OperatorPlusNotNatural.dhall
- - rw-r--r-- 8 OperatorTextConcatenateLhsNotText.dhall
- - rw-r--r-- 8 OperatorTextConcatenateRhsNotText.dhall
- - rw-r--r-- 12 OperatorTimesNotNatural.dhall
- - rw-r--r-- 19 OptionalDeprecatedSyntaxAbsent.dhall
- - rw-r--r-- 25 OptionalDeprecatedSyntaxPresent.dhall
- - rw-r--r-- 509 RecordLitDuplicateFieldsAbstract.dhall
- - rw-r--r-- 227 RecordLitDuplicateFieldsCollidingRecords.dhall
- - rw-r--r-- 155 RecordLitDuplicateFieldsNotRecords.dhall
- - rw-r--r-- 30 RecordProjectionByTypeFieldTypeMismatch.dhall
- - rw-r--r-- 30 RecordProjectionByTypeNotPresent.dhall
- - rw-r--r-- 19 RecordProjectionDuplicateFields.dhall
- - rw-r--r-- 10 RecordProjectionEmpty.dhall
- - rw-r--r-- 18 RecordProjectionNotPresent.dhall
- - rw-r--r-- 11 RecordProjectionNotRecord.dhall
- - rw-r--r-- 6 RecordSelectionEmpty.dhall
- - rw-r--r-- 14 RecordSelectionNotPresent.dhall
- - rw-r--r-- 7 RecordSelectionNotRecord.dhall
- - rw-r--r-- 7 RecordSelectionTypeNotUnionType.dhall
- - rw-r--r-- 27 RecordTypeDuplicateFields.dhall
- - rw-r--r-- 13 RecordTypeValueMember.dhall
- - rw-r--r-- 13 RecursiveRecordMergeLhsNotRecord.dhall
- - rw-r--r-- 31 RecursiveRecordMergeOverlapping.dhall
- - rw-r--r-- 13 RecursiveRecordMergeRhsNotRecord.dhall
- - rw-r--r-- 12 RecursiveRecordTypeMergeLhsNotRecordType.dhall
- - rw-r--r-- 33 RecursiveRecordTypeMergeOverlapping.dhall
- - rw-r--r-- 12 RecursiveRecordTypeMergeRhsNotRecordType.dhall
- - rw-r--r-- 15 RemovedBuiltinOptionalBuild.dhall
- - rw-r--r-- 14 RemovedBuiltinOptionalFold.dhall
- - rw-r--r-- 13 RightBiasedRecordMergeLhsNotRecord.dhall
- - rw-r--r-- 13 RightBiasedRecordMergeRhsNotRecord.dhall
- - rw-r--r-- 31 ShowConstructorNotFullyApplied.dhall
- - rw-r--r-- 21 ShowConstructorNotFullyAppliedOptional.dhall
- - rw-r--r-- 18 ShowConstructorWrongArgument.dhall
- - rw-r--r-- 10 SomeNotType.dhall
- - rw-r--r-- 5 Sort.dhall
- - rw-r--r-- 7 TextLiteralInterpolateNotText.dhall
- - rw-r--r-- 79 ToMapEmptyInvalidAnnotation.dhall
- - rw-r--r-- 19 ToMapWrongKind.dhall
- - rw-r--r-- 9 TypeAnnotationWrong.dhall
- - rw-r--r-- 15 UnionConstructorFieldNotPresent.dhall
- - rw-r--r-- 47 UnionDeprecatedConstructorsKeyword.dhall
- - rw-r--r-- 8 UnionTypeDuplicateVariants1.dhall
- - rw-r--r-- 17 UnionTypeDuplicateVariants2.dhall
- - rw-r--r-- 13 UnionTypeNotType.dhall
- - rw-r--r-- 2 VariableFree.dhall
- - rw-r--r-- 25 WithInfersKind.dhall
- - rw-r--r-- 252 WithInvalidOverrideA.dhall
- - rw-r--r-- 21 WithNotOptional.dhall
- - rw-r--r-- 14 WithNotRecord.dhall
- - rw-r--r-- 39 WithOptionalRecordTypeChanged.dhall
- - rw-r--r-- 32 WithOptionalTypeChanged.dhall
- - rw-r--r-- 188 Z.dhall