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	93	log plain
-rw-r--r--	AnnotationRecordWrongFieldType.txt	90	log plain
-rw-r--r--	AssertAlphaTrap.txt	221	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	61	log plain
-rw-r--r--	FunctionApplicationArgumentNotMatch.txt	315	log plain
-rw-r--r--	FunctionApplicationIsNotFunction.txt	218	log plain
-rw-r--r--	FunctionArgumentTypeNotAType.txt	234	log plain
-rw-r--r--	FunctionTypeArgumentTypeNotAType.txt	220	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	69	log plain
-rw-r--r--	ListLiteralEmptyNotType.txt	266	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--	MergeHandlerNotFunction.txt	448	log plain
-rw-r--r--	MergeHandlerNotInUnion.txt	60	log plain
-rw-r--r--	MergeHandlerNotMatchAlternativeType.txt	461	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	302	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	85	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	46	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	66	log plain
-rw-r--r--	UnionConstructorFieldNotPresent.txt	47	log plain
-rw-r--r--	UnionDeprecatedConstructorsKeyword.txt	192	log plain
-rw-r--r--	UnionTypeDuplicateVariants1.txt	53	log plain
-rw-r--r--	UnionTypeDuplicateVariants2.txt	53	log plain
-rw-r--r--	UnionTypeMixedKinds.txt	46	log plain
-rw-r--r--	UnionTypeMixedKinds2.txt	46	log plain
-rw-r--r--	UnionTypeMixedKinds3.txt	46	log plain
-rw-r--r--	UnionTypeNotType.txt	46	log plain
-rw-r--r--	VariableFree.txt	125	log plain