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-inference
/
failure
/
unit
Mode
Name
Size
-rw-r--r--
AnnotationRecordWrongFieldName.txt
199
log
plain
-rw-r--r--
AnnotationRecordWrongFieldType.txt
190
log
plain
-rw-r--r--
AssertAlphaTrap.txt
204
log
plain
-rw-r--r--
AssertDoubleZeros.txt
133
log
plain
-rw-r--r--
AssertNotEquivalence.txt
139
log
plain
-rw-r--r--
AssertTriviallyFalse.txt
123
log
plain
-rw-r--r--
CompletionMissingRequiredField.txt
265
log
plain
-rw-r--r--
CompletionWithWrongDefaultType.txt
291
log
plain
-rw-r--r--
CompletionWithWrongFieldName.txt
349
log
plain
-rw-r--r--
CompletionWithWrongOverridenType.txt
315
log
plain
-rw-r--r--
EmptyToMap.txt
203
log
plain
-rw-r--r--
EquivalenceNotSameType.txt
131
log
plain
-rw-r--r--
EquivalenceNotTerms.txt
151
log
plain
-rw-r--r--
FunctionApplicationArgumentNotMatch.txt
301
log
plain
-rw-r--r--
FunctionApplicationIsNotFunction.txt
147
log
plain
-rw-r--r--
FunctionArgumentTypeNotAType.txt
217
log
plain
-rw-r--r--
FunctionTypeArgumentTypeNotAType.txt
203
log
plain
-rw-r--r--
FunctionTypeKindSort.txt
137
log
plain
-rw-r--r--
FunctionTypeOutputTypeNotAType.txt
213
log
plain
-rw-r--r--
FunctionTypeTypeSort.txt
137
log
plain
-rw-r--r--
HeterogenousToMap.txt
217
log
plain
-rw-r--r--
IfBranchesNotMatch.txt
139
log
plain
-rw-r--r--
IfBranchesNotType.txt
153
log
plain
-rw-r--r--
IfNotBool.txt
131
log
plain
-rw-r--r--
LetInSort.txt
164
log
plain
-rw-r--r--
LetWithNonterminatingAnnotation.txt
476
log
plain
-rw-r--r--
LetWithWrongAnnotation.txt
178
log
plain
-rw-r--r--
ListLiteralEmptyNotType.txt
260
log
plain
-rw-r--r--
ListLiteralNotType.txt
109
log
plain
-rw-r--r--
ListLiteralTypesNotMatch.txt
121
log
plain
-rw-r--r--
MergeAlternativeHasNoHandler.txt
177
log
plain
-rw-r--r--
MergeAnnotationMismatch.txt
159
log
plain
-rw-r--r--
MergeAnnotationNotType.txt
161
log
plain
-rw-r--r--
MergeBool.txt
234
log
plain
-rw-r--r--
MergeEmptyNeedsDirectAnnotation1.txt
170
log
plain
-rw-r--r--
MergeEmptyNeedsDirectAnnotation2.txt
193
log
plain
-rw-r--r--
MergeEmptyWithoutAnnotation.txt
147
log
plain
-rw-r--r--
MergeHandlerNotFunction.txt
443
log
plain
-rw-r--r--
MergeHandlerNotInUnion.txt
204
log
plain
-rw-r--r--
MergeHandlerNotMatchAlternativeType.txt
407
log
plain
-rw-r--r--
MergeHandlersWithDifferentType.txt
295
log
plain
-rw-r--r--
MergeLhsNotRecord.txt
141
log
plain
-rw-r--r--
MergeMissingHandler1.txt
145
log
plain
-rw-r--r--
MergeMissingHandler2.txt
165
log
plain
-rw-r--r--
MergeRhsNotUnion.txt
151
log
plain
-rw-r--r--
MergeUnusedHandler.txt
175
log
plain
-rw-r--r--
MistypedToMap1.txt
169
log
plain
-rw-r--r--
MistypedToMap2.txt
179
log
plain
-rw-r--r--
MistypedToMap3.txt
245
log
plain
-rw-r--r--
MistypedToMap4.txt
233
log
plain
-rw-r--r--
NaturalSubtractNotNatural.txt
292
log
plain
-rw-r--r--
NestedAnnotInnerWrong.txt
147
log
plain
-rw-r--r--
NestedAnnotOuterWrong.txt
157
log
plain
-rw-r--r--
NonRecordToMap.txt
167
log
plain
-rw-r--r--
OperatorAndNotBool.txt
109
log
plain
-rw-r--r--
OperatorEqualNotBool.txt
109
log
plain
-rw-r--r--
OperatorListConcatenateLhsNotList.txt
121
log
plain
-rw-r--r--
OperatorListConcatenateListsNotMatch.txt
129
log
plain
-rw-r--r--
OperatorListConcatenateNotListsButMatch.txt
107
log
plain
-rw-r--r--
OperatorListConcatenateRhsNotList.txt
121
log
plain
-rw-r--r--
OperatorNotEqualNotBool.txt
109
log
plain
-rw-r--r--
OperatorOrNotBool.txt
109
log
plain
-rw-r--r--
OperatorPlusNotNatural.txt
119
log
plain
-rw-r--r--
OperatorTextConcatenateLhsNotText.txt
111
log
plain
-rw-r--r--
OperatorTextConcatenateRhsNotText.txt
111
log
plain
-rw-r--r--
OperatorTimesNotNatural.txt
119
log
plain
-rw-r--r--
OptionalDeprecatedSyntaxAbsent.txt
129
log
plain
-rw-r--r--
OptionalDeprecatedSyntaxPresent.txt
188
log
plain
-rw-r--r--
RecordLitDuplicateFieldsAbstract.txt
53
log
plain
-rw-r--r--
RecordLitDuplicateFieldsCollidingRecords.txt
53
log
plain
-rw-r--r--
RecordLitDuplicateFieldsNotRecords.txt
53
log
plain
-rw-r--r--
RecordProjectionByTypeFieldTypeMismatch.txt
159
log
plain
-rw-r--r--
RecordProjectionByTypeNotPresent.txt
165
log
plain
-rw-r--r--
RecordProjectionDuplicateFields.txt
101
log
plain
-rw-r--r--
RecordProjectionEmpty.txt
125
log
plain
-rw-r--r--
RecordProjectionNotPresent.txt
141
log
plain
-rw-r--r--
RecordProjectionNotRecord.txt
127
log
plain
-rw-r--r--
RecordSelectionEmpty.txt
109
log
plain
-rw-r--r--
RecordSelectionNotPresent.txt
125
log
plain
-rw-r--r--
RecordSelectionNotRecord.txt
95
log
plain
-rw-r--r--
RecordSelectionTypeNotUnionType.txt
95
log
plain
-rw-r--r--
RecordTypeDuplicateFields.txt
115
log
plain
-rw-r--r--
RecordTypeValueMember.txt
117
log
plain
-rw-r--r--
RecursiveRecordMergeLhsNotRecord.txt
151
log
plain
-rw-r--r--
RecursiveRecordMergeOverlapping.txt
187
log
plain
-rw-r--r--
RecursiveRecordMergeRhsNotRecord.txt
151
log
plain
-rw-r--r--
RecursiveRecordTypeMergeLhsNotRecordType.txt
149
log
plain
-rw-r--r--
RecursiveRecordTypeMergeOverlapping.txt
191
log
plain
-rw-r--r--
RecursiveRecordTypeMergeRhsNotRecordType.txt
149
log
plain
-rw-r--r--
RemovedBuiltinOptionalBuild.txt
149
log
plain
-rw-r--r--
RemovedBuiltinOptionalFold.txt
146
log
plain
-rw-r--r--
RightBiasedRecordMergeLhsNotRecord.txt
119
log
plain
-rw-r--r--
RightBiasedRecordMergeRhsNotRecord.txt
119
log
plain
-rw-r--r--
SomeNotType.txt
119
log
plain
-rw-r--r--
Sort.txt
121
log
plain
-rw-r--r--
TextLiteralInterpolateNotText.txt
123
log
plain
-rw-r--r--
ToMapEmptyInvalidAnnotation.txt
356
log
plain
-rw-r--r--
ToMapWrongKind.txt
185
log
plain
-rw-r--r--
TypeAnnotationWrong.txt
134
log
plain
-rw-r--r--
UnionConstructorFieldNotPresent.txt
125
log
plain
-rw-r--r--
UnionDeprecatedConstructorsKeyword.txt
175
log
plain
-rw-r--r--
UnionTypeDuplicateVariants1.txt
79
log
plain
-rw-r--r--
UnionTypeDuplicateVariants2.txt
97
log
plain
-rw-r--r--
UnionTypeNotType.txt
121
log
plain
-rw-r--r--
VariableFree.txt
108
log
plain
-rw-r--r--
WithInvalidOverrideA.txt
145
log
plain
-rw-r--r--
WithUnderscore.txt
161
log
plain