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
525
log
plain
-rw-r--r--
AnnotationRecordWrongFieldType.txt
510
log
plain
-rw-r--r--
AssertAlphaTrap.txt
159
log
plain
-rw-r--r--
AssertDoubleZeros.txt
283
log
plain
-rw-r--r--
AssertNotEquivalence.txt
55
log
plain
-rw-r--r--
AssertTriviallyFalse.txt
256
log
plain
-rw-r--r--
EquivalenceNotSameType.txt
297
log
plain
-rw-r--r--
EquivalenceNotTerms.txt
129
log
plain
-rw-r--r--
FunctionApplicationArgumentNotMatch.txt
415
log
plain
-rw-r--r--
FunctionApplicationIsNotFunction.txt
74
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
324
log
plain
-rw-r--r--
IfBranchesNotType.txt
60
log
plain
-rw-r--r--
IfNotBool.txt
169
log
plain
-rw-r--r--
LetWithWrongAnnotation.txt
226
log
plain
-rw-r--r--
ListLiteralEmptyNotType.txt
262
log
plain
-rw-r--r--
ListLiteralNotType.txt
51
log
plain
-rw-r--r--
ListLiteralTypesNotMatch.txt
234
log
plain
-rw-r--r--
MergeAlternativeHasNoHandler.txt
68
log
plain
-rw-r--r--
MergeAnnotationMismatch.txt
48
log
plain
-rw-r--r--
MergeAnnotationNotType.txt
113
log
plain
-rw-r--r--
MergeEmptyNeedsDirectAnnotation1.txt
55
log
plain
-rw-r--r--
MergeEmptyNeedsDirectAnnotation2.txt
55
log
plain
-rw-r--r--
MergeEmptyWithoutAnnotation.txt
113
log
plain
-rw-r--r--
MergeHandlerFreeVar.txt
70
log
plain
-rw-r--r--
MergeHandlerNotFunction.txt
46
log
plain
-rw-r--r--
MergeHandlerNotInUnion.txt
113
log
plain
-rw-r--r--
MergeHandlerNotMatchAlternativeType.txt
438
log
plain
-rw-r--r--
MergeHandlersWithDifferentType.txt
54
log
plain
-rw-r--r--
MergeLhsNotRecord.txt
171
log
plain
-rw-r--r--
MergeMissingHandler1.txt
68
log
plain
-rw-r--r--
MergeMissingHandler2.txt
68
log
plain
-rw-r--r--
MergeRhsNotUnion.txt
180
log
plain
-rw-r--r--
MergeUnusedHandler.txt
68
log
plain
-rw-r--r--
NaturalSubtractNotNatural.txt
411
log
plain
-rw-r--r--
OperatorAndNotBool.txt
179
log
plain
-rw-r--r--
OperatorEqualNotBool.txt
178
log
plain
-rw-r--r--
OperatorListConcatenateLhsNotList.txt
182
log
plain
-rw-r--r--
OperatorListConcatenateListsNotMatch.txt
361
log
plain
-rw-r--r--
OperatorListConcatenateNotListsButMatch.txt
182
log
plain
-rw-r--r--
OperatorListConcatenateRhsNotList.txt
182
log
plain
-rw-r--r--
OperatorNotEqualNotBool.txt
178
log
plain
-rw-r--r--
OperatorOrNotBool.txt
178
log
plain
-rw-r--r--
OperatorPlusNotNatural.txt
180
log
plain
-rw-r--r--
OperatorTextConcatenateLhsNotText.txt
182
log
plain
-rw-r--r--
OperatorTextConcatenateRhsNotText.txt
182
log
plain
-rw-r--r--
OperatorTimesNotNatural.txt
181
log
plain
-rw-r--r--
OptionalDeprecatedSyntaxAbsent.txt
171
log
plain
-rw-r--r--
OptionalDeprecatedSyntaxPresent.txt
482
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
199
log
plain
-rw-r--r--
RecordSelectionNotPresent.txt
418
log
plain
-rw-r--r--
RecordSelectionNotRecord.txt
155
log
plain
-rw-r--r--
RecordSelectionTypeNotUnionType.txt
112
log
plain
-rw-r--r--
RecordTypeDuplicateFields.txt
54
log
plain
-rw-r--r--
RecordTypeValueMember.txt
178
log
plain
-rw-r--r--
RecursiveRecordMergeLhsNotRecord.txt
123
log
plain
-rw-r--r--
RecursiveRecordMergeOverlapping.txt
123
log
plain
-rw-r--r--
RecursiveRecordMergeRhsNotRecord.txt
123
log
plain
-rw-r--r--
RecursiveRecordTypeMergeLhsNotRecordType.txt
123
log
plain
-rw-r--r--
RecursiveRecordTypeMergeOverlapping.txt
123
log
plain
-rw-r--r--
RecursiveRecordTypeMergeRhsNotRecordType.txt
123
log
plain
-rw-r--r--
RightBiasedRecordMergeLhsNotRecord.txt
167
log
plain
-rw-r--r--
RightBiasedRecordMergeMixedKinds2.txt
34
log
plain
-rw-r--r--
RightBiasedRecordMergeMixedKinds3.txt
34
log
plain
-rw-r--r--
RightBiasedRecordMergeRhsNotRecord.txt
167
log
plain
-rw-r--r--
SomeNotType.txt
55
log
plain
-rw-r--r--
Sort.txt
34
log
plain
-rw-r--r--
TextLiteralInterpolateNotText.txt
177
log
plain
-rw-r--r--
TypeAnnotationWrong.txt
226
log
plain
-rw-r--r--
UnionConstructorFieldNotPresent.txt
188
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
122
log
plain
-rw-r--r--
UnionTypeNotType.txt
178
log
plain
-rw-r--r--
VariableFree.txt
65
log
plain