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	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	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	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	103	log plain
-rw-r--r--	MergeEmptyNeedsDirectAnnotation1.txt	55	log plain
-rw-r--r--	MergeEmptyNeedsDirectAnnotation2.txt	55	log plain
-rw-r--r--	MergeEmptyWithoutAnnotation.txt	103	log plain
-rw-r--r--	MergeHandlerFreeVar.txt	70	log plain
-rw-r--r--	MergeHandlerNotFunction.txt	46	log plain
-rw-r--r--	MergeHandlerNotInUnion.txt	103	log plain
-rw-r--r--	MergeHandlerNotMatchAlternativeType.txt	440	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	170	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