unit « type-errors « tests « dhall - dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

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--	AssertDoubleZeros.txt	28	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--	MergeUnusedHandler.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--	RecordProjectionDuplicateFields.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