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
28
log
plain
-rw-r--r--
AnnotationRecordWrongFieldType.txt
28
log
plain
-rw-r--r--
AssertAlphaTrap.txt
159
log
plain
-rw-r--r--
AssertNotEquivalence.txt
28
log
plain
-rw-r--r--
AssertTriviallyFalse.txt
28
log
plain
-rw-r--r--
EquivalenceNotSameType.txt
28
log
plain
-rw-r--r--
EquivalenceNotTerms.txt
28
log
plain
-rw-r--r--
FunctionApplicationArgumentNotMatch.txt
417
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
28
log
plain
-rw-r--r--
FunctionTypeTypeSort.txt
28
log
plain
-rw-r--r--
IfBranchesNotMatch.txt
28
log
plain
-rw-r--r--
IfBranchesNotType.txt
28
log
plain
-rw-r--r--
IfNotBool.txt
28
log
plain
-rw-r--r--
LetWithWrongAnnotation.txt
28
log
plain
-rw-r--r--
ListLiteralEmptyNotType.txt
262
log
plain
-rw-r--r--
ListLiteralNotType.txt
28
log
plain
-rw-r--r--
ListLiteralTypesNotMatch.txt
28
log
plain
-rw-r--r--
MergeAlternativeHasNoHandler.txt
28
log
plain
-rw-r--r--
MergeAnnotationMismatch.txt
28
log
plain
-rw-r--r--
MergeAnnotationNotType.txt
28
log
plain
-rw-r--r--
MergeEmptyNeedsDirectAnnotation1.txt
28
log
plain
-rw-r--r--
MergeEmptyNeedsDirectAnnotation2.txt
28
log
plain
-rw-r--r--
MergeEmptyWithoutAnnotation.txt
28
log
plain
-rw-r--r--
MergeHandlerFreeVar.txt
28
log
plain
-rw-r--r--
MergeHandlerNotFunction.txt
46
log
plain
-rw-r--r--
MergeHandlerNotInUnion.txt
28
log
plain
-rw-r--r--
MergeHandlerNotMatchAlternativeType.txt
440
log
plain
-rw-r--r--
MergeHandlersWithDifferentType.txt
28
log
plain
-rw-r--r--
MergeLhsNotRecord.txt
28
log
plain
-rw-r--r--
MergeMissingHandler1.txt
28
log
plain
-rw-r--r--
MergeMissingHandler2.txt
28
log
plain
-rw-r--r--
MergeRhsNotUnion.txt
28
log
plain
-rw-r--r--
NaturalSubtractNotNatural.txt
411
log
plain
-rw-r--r--
OperatorAndNotBool.txt
28
log
plain
-rw-r--r--
OperatorEqualNotBool.txt
28
log
plain
-rw-r--r--
OperatorListConcatenateLhsNotList.txt
28
log
plain
-rw-r--r--
OperatorListConcatenateListsNotMatch.txt
28
log
plain
-rw-r--r--
OperatorListConcatenateNotListsButMatch.txt
28
log
plain
-rw-r--r--
OperatorListConcatenateRhsNotList.txt
28
log
plain
-rw-r--r--
OperatorNotEqualNotBool.txt
28
log
plain
-rw-r--r--
OperatorOrNotBool.txt
28
log
plain
-rw-r--r--
OperatorPlusNotNatural.txt
28
log
plain
-rw-r--r--
OperatorTextConcatenateLhsNotText.txt
28
log
plain
-rw-r--r--
OperatorTextConcatenateRhsNotText.txt
28
log
plain
-rw-r--r--
OperatorTimesNotNatural.txt
28
log
plain
-rw-r--r--
OptionalDeprecatedSyntaxAbsent.txt
28
log
plain
-rw-r--r--
OptionalDeprecatedSyntaxPresent.txt
28
log
plain
-rw-r--r--
RecordLitDuplicateFields.txt
28
log
plain
-rw-r--r--
RecordMixedKinds3.txt
28
log
plain
-rw-r--r--
RecordProjectionEmpty.txt
28
log
plain
-rw-r--r--
RecordProjectionNotPresent.txt
28
log
plain
-rw-r--r--
RecordProjectionNotRecord.txt
28
log
plain
-rw-r--r--
RecordSelectionEmpty.txt
28
log
plain
-rw-r--r--
RecordSelectionNotPresent.txt
28
log
plain
-rw-r--r--
RecordSelectionNotRecord.txt
28
log
plain
-rw-r--r--
RecordSelectionTypeNotUnionType.txt
28
log
plain
-rw-r--r--
RecordTypeDuplicateFields.txt
28
log
plain
-rw-r--r--
RecordTypeValueMember.txt
28
log
plain
-rw-r--r--
RecursiveRecordMergeLhsNotRecord.txt
28
log
plain
-rw-r--r--
RecursiveRecordMergeOverlapping.txt
28
log
plain
-rw-r--r--
RecursiveRecordMergeRhsNotRecord.txt
28
log
plain
-rw-r--r--
RecursiveRecordTypeMergeLhsNotRecordType.txt
28
log
plain
-rw-r--r--
RecursiveRecordTypeMergeOverlapping.txt
28
log
plain
-rw-r--r--
RecursiveRecordTypeMergeRhsNotRecordType.txt
28
log
plain
-rw-r--r--
RightBiasedRecordMergeLhsNotRecord.txt
28
log
plain
-rw-r--r--
RightBiasedRecordMergeMixedKinds2.txt
28
log
plain
-rw-r--r--
RightBiasedRecordMergeMixedKinds3.txt
28
log
plain
-rw-r--r--
RightBiasedRecordMergeRhsNotRecord.txt
28
log
plain
-rw-r--r--
SomeNotType.txt
28
log
plain
-rw-r--r--
Sort.txt
28
log
plain
-rw-r--r--
TextLiteralInterpolateNotText.txt
28
log
plain
-rw-r--r--
TypeAnnotationWrong.txt
28
log
plain
-rw-r--r--
UnionConstructorFieldNotPresent.txt
28
log
plain
-rw-r--r--
UnionDeprecatedConstructorsKeyword.txt
121
log
plain
-rw-r--r--
UnionTypeDuplicateVariants1.txt
28
log
plain
-rw-r--r--
UnionTypeDuplicateVariants2.txt
28
log
plain
-rw-r--r--
UnionTypeMixedKinds.txt
28
log
plain
-rw-r--r--
UnionTypeMixedKinds2.txt
28
log
plain
-rw-r--r--
UnionTypeMixedKinds3.txt
28
log
plain
-rw-r--r--
UnionTypeNotType.txt
28
log
plain
-rw-r--r--
VariableFree.txt
65
log
plain