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	537	log plain
-rw-r--r--	AnnotationRecordWrongFieldType.txt	522	log plain
-rw-r--r--	AssertAlphaTrap.txt	159	log plain
-rw-r--r--	AssertDoubleZeros.txt	291	log plain
-rw-r--r--	AssertNotEquivalence.txt	55	log plain
-rw-r--r--	AssertTriviallyFalse.txt	264	log plain
-rw-r--r--	EquivalenceNotSameType.txt	305	log plain
-rw-r--r--	EquivalenceNotTerms.txt	133	log plain
-rw-r--r--	FunctionApplicationArgumentNotMatch.txt	423	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	332	log plain
-rw-r--r--	IfBranchesNotType.txt	60	log plain
-rw-r--r--	IfNotBool.txt	173	log plain
-rw-r--r--	LetWithWrongAnnotation.txt	234	log plain
-rw-r--r--	ListLiteralEmptyNotType.txt	262	log plain
-rw-r--r--	ListLiteralNotType.txt	51	log plain
-rw-r--r--	ListLiteralTypesNotMatch.txt	242	log plain
-rw-r--r--	MergeAlternativeHasNoHandler.txt	68	log plain
-rw-r--r--	MergeAnnotationMismatch.txt	48	log plain
-rw-r--r--	MergeAnnotationNotType.txt	113	log plain
-rw-r--r--	MergeEmptyNeedsDirectAnnotation1.txt	55	log plain
-rw-r--r--	MergeEmptyNeedsDirectAnnotation2.txt	55	log plain
-rw-r--r--	MergeEmptyWithoutAnnotation.txt	113	log plain
-rw-r--r--	MergeHandlerFreeVar.txt	70	log plain
-rw-r--r--	MergeHandlerNotFunction.txt	46	log plain
-rw-r--r--	MergeHandlerNotInUnion.txt	113	log plain
-rw-r--r--	MergeHandlerNotMatchAlternativeType.txt	442	log plain
-rw-r--r--	MergeHandlersWithDifferentType.txt	54	log plain
-rw-r--r--	MergeLhsNotRecord.txt	175	log plain
-rw-r--r--	MergeMissingHandler1.txt	68	log plain
-rw-r--r--	MergeMissingHandler2.txt	68	log plain
-rw-r--r--	MergeRhsNotUnion.txt	184	log plain
-rw-r--r--	MergeUnusedHandler.txt	68	log plain
-rw-r--r--	NaturalSubtractNotNatural.txt	419	log plain
-rw-r--r--	OperatorAndNotBool.txt	183	log plain
-rw-r--r--	OperatorEqualNotBool.txt	182	log plain
-rw-r--r--	OperatorListConcatenateLhsNotList.txt	186	log plain
-rw-r--r--	OperatorListConcatenateListsNotMatch.txt	434	log plain
-rw-r--r--	OperatorListConcatenateNotListsButMatch.txt	186	log plain
-rw-r--r--	OperatorListConcatenateRhsNotList.txt	186	log plain
-rw-r--r--	OperatorNotEqualNotBool.txt	182	log plain
-rw-r--r--	OperatorOrNotBool.txt	182	log plain
-rw-r--r--	OperatorPlusNotNatural.txt	184	log plain
-rw-r--r--	OperatorTextConcatenateLhsNotText.txt	186	log plain
-rw-r--r--	OperatorTextConcatenateRhsNotText.txt	186	log plain
-rw-r--r--	OperatorTimesNotNatural.txt	185	log plain
-rw-r--r--	OptionalDeprecatedSyntaxAbsent.txt	240	log plain
-rw-r--r--	OptionalDeprecatedSyntaxPresent.txt	624	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	159	log plain
-rw-r--r--	RecordSelectionTypeNotUnionType.txt	116	log plain
-rw-r--r--	RecordTypeDuplicateFields.txt	54	log plain
-rw-r--r--	RecordTypeValueMember.txt	182	log plain
-rw-r--r--	RecursiveRecordMergeLhsNotRecord.txt	127	log plain
-rw-r--r--	RecursiveRecordMergeOverlapping.txt	127	log plain
-rw-r--r--	RecursiveRecordMergeRhsNotRecord.txt	127	log plain
-rw-r--r--	RecursiveRecordTypeMergeLhsNotRecordType.txt	127	log plain
-rw-r--r--	RecursiveRecordTypeMergeOverlapping.txt	127	log plain
-rw-r--r--	RecursiveRecordTypeMergeRhsNotRecordType.txt	127	log plain
-rw-r--r--	RightBiasedRecordMergeLhsNotRecord.txt	171	log plain
-rw-r--r--	RightBiasedRecordMergeMixedKinds2.txt	34	log plain
-rw-r--r--	RightBiasedRecordMergeMixedKinds3.txt	34	log plain
-rw-r--r--	RightBiasedRecordMergeRhsNotRecord.txt	171	log plain
-rw-r--r--	SomeNotType.txt	55	log plain
-rw-r--r--	Sort.txt	34	log plain
-rw-r--r--	TextLiteralInterpolateNotText.txt	181	log plain
-rw-r--r--	TypeAnnotationWrong.txt	234	log plain
-rw-r--r--	UnionConstructorFieldNotPresent.txt	192	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	126	log plain
-rw-r--r--	UnionTypeNotType.txt	182	log plain
-rw-r--r--	VariableFree.txt	65	log plain