index
:
dhall_rust
derive-macro
substitutions
working copy forked from https://github.com/Nadrieril/dhall-rust
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dhall
/
tests
/
type-errors
/
unit
Mode
Name
Size
-rw-r--r--
AnnotationRecordWrongFieldName.txt
43
log
plain
-rw-r--r--
AnnotationRecordWrongFieldType.txt
43
log
plain
-rw-r--r--
AssertAlphaTrap.txt
159
log
plain
-rw-r--r--
AssertDoubleZeros.txt
44
log
plain
-rw-r--r--
AssertNotEquivalence.txt
55
log
plain
-rw-r--r--
AssertTriviallyFalse.txt
44
log
plain
-rw-r--r--
EquivalenceNotSameType.txt
53
log
plain
-rw-r--r--
EquivalenceNotTerms.txt
59
log
plain
-rw-r--r--
FunctionApplicationArgumentNotMatch.txt
42
log
plain
-rw-r--r--
FunctionApplicationIsNotFunction.txt
42
log
plain
-rw-r--r--
FunctionArgumentTypeNotAType.txt
91
log
plain
-rw-r--r--
FunctionTypeArgumentTypeNotAType.txt
77
log
plain
-rw-r--r--
FunctionTypeKindSort.txt
34
log
plain
-rw-r--r--
FunctionTypeTypeSort.txt
34
log
plain
-rw-r--r--
IfBranchesNotMatch.txt
46
log
plain
-rw-r--r--
IfBranchesNotType.txt
48
log
plain
-rw-r--r--
IfNotBool.txt
46
log
plain
-rw-r--r--
LetWithWrongAnnotation.txt
43
log
plain
-rw-r--r--
ListLiteralEmptyNotType.txt
42
log
plain
-rw-r--r--
ListLiteralNotType.txt
45
log
plain
-rw-r--r--
ListLiteralTypesNotMatch.txt
48
log
plain
-rw-r--r--
MergeAlternativeHasNoHandler.txt
56
log
plain
-rw-r--r--
MergeAnnotationMismatch.txt
48
log
plain
-rw-r--r--
MergeAnnotationNotType.txt
60
log
plain
-rw-r--r--
MergeEmptyNeedsDirectAnnotation1.txt
55
log
plain
-rw-r--r--
MergeEmptyNeedsDirectAnnotation2.txt
55
log
plain
-rw-r--r--
MergeEmptyWithoutAnnotation.txt
60
log
plain
-rw-r--r--
MergeHandlerFreeVar.txt
70
log
plain
-rw-r--r--
MergeHandlerNotFunction.txt
42
log
plain
-rw-r--r--
MergeHandlerNotInUnion.txt
60
log
plain
-rw-r--r--
MergeHandlerNotMatchAlternativeType.txt
42
log
plain
-rw-r--r--
MergeHandlersWithDifferentType.txt
54
log
plain
-rw-r--r--
MergeLhsNotRecord.txt
51
log
plain
-rw-r--r--
MergeMissingHandler1.txt
56
log
plain
-rw-r--r--
MergeMissingHandler2.txt
56
log
plain
-rw-r--r--
MergeRhsNotUnion.txt
60
log
plain
-rw-r--r--
MergeUnusedHandler.txt
56
log
plain
-rw-r--r--
NaturalSubtractNotNatural.txt
42
log
plain
-rw-r--r--
OperatorAndNotBool.txt
47
log
plain
-rw-r--r--
OperatorEqualNotBool.txt
47
log
plain
-rw-r--r--
OperatorListConcatenateLhsNotList.txt
47
log
plain
-rw-r--r--
OperatorListConcatenateListsNotMatch.txt
47
log
plain
-rw-r--r--
OperatorListConcatenateNotListsButMatch.txt
47
log
plain
-rw-r--r--
OperatorListConcatenateRhsNotList.txt
47
log
plain
-rw-r--r--
OperatorNotEqualNotBool.txt
47
log
plain
-rw-r--r--
OperatorOrNotBool.txt
47
log
plain
-rw-r--r--
OperatorPlusNotNatural.txt
47
log
plain
-rw-r--r--
OperatorTextConcatenateLhsNotText.txt
47
log
plain
-rw-r--r--
OperatorTextConcatenateRhsNotText.txt
47
log
plain
-rw-r--r--
OperatorTimesNotNatural.txt
47
log
plain
-rw-r--r--
OptionalDeprecatedSyntaxAbsent.txt
45
log
plain
-rw-r--r--
OptionalDeprecatedSyntaxPresent.txt
43
log
plain
-rw-r--r--
RecordLitDuplicateFields.txt
54
log
plain
-rw-r--r--
RecordMixedKinds3.txt
34
log
plain
-rw-r--r--
RecordProjectionDuplicateFields.txt
54
log
plain
-rw-r--r--
RecordProjectionEmpty.txt
52
log
plain
-rw-r--r--
RecordProjectionNotPresent.txt
52
log
plain
-rw-r--r--
RecordProjectionNotRecord.txt
52
log
plain
-rw-r--r--
RecordSelectionEmpty.txt
48
log
plain
-rw-r--r--
RecordSelectionNotPresent.txt
48
log
plain
-rw-r--r--
RecordSelectionNotRecord.txt
40
log
plain
-rw-r--r--
RecordSelectionTypeNotUnionType.txt
40
log
plain
-rw-r--r--
RecordTypeDuplicateFields.txt
54
log
plain
-rw-r--r--
RecordTypeValueMember.txt
182
log
plain
-rw-r--r--
RecursiveRecordMergeLhsNotRecord.txt
63
log
plain
-rw-r--r--
RecursiveRecordMergeOverlapping.txt
63
log
plain
-rw-r--r--
RecursiveRecordMergeRhsNotRecord.txt
63
log
plain
-rw-r--r--
RecursiveRecordTypeMergeLhsNotRecordType.txt
63
log
plain
-rw-r--r--
RecursiveRecordTypeMergeOverlapping.txt
63
log
plain
-rw-r--r--
RecursiveRecordTypeMergeRhsNotRecordType.txt
63
log
plain
-rw-r--r--
RightBiasedRecordMergeLhsNotRecord.txt
47
log
plain
-rw-r--r--
RightBiasedRecordMergeMixedKinds2.txt
34
log
plain
-rw-r--r--
RightBiasedRecordMergeMixedKinds3.txt
34
log
plain
-rw-r--r--
RightBiasedRecordMergeRhsNotRecord.txt
47
log
plain
-rw-r--r--
SomeNotType.txt
49
log
plain
-rw-r--r--
Sort.txt
34
log
plain
-rw-r--r--
TextLiteralInterpolateNotText.txt
54
log
plain
-rw-r--r--
TypeAnnotationWrong.txt
43
log
plain
-rw-r--r--
UnionConstructorFieldNotPresent.txt
47
log
plain
-rw-r--r--
UnionDeprecatedConstructorsKeyword.txt
121
log
plain
-rw-r--r--
UnionTypeDuplicateVariants1.txt
53
log
plain
-rw-r--r--
UnionTypeDuplicateVariants2.txt
53
log
plain
-rw-r--r--
UnionTypeMixedKinds.txt
64
log
plain
-rw-r--r--
UnionTypeMixedKinds2.txt
64
log
plain
-rw-r--r--
UnionTypeMixedKinds3.txt
126
log
plain
-rw-r--r--
UnionTypeNotType.txt
182
log
plain
-rw-r--r--
VariableFree.txt
65
log
plain