summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2020-02-09 17:47:58 +0000
committerNadrieril2020-02-09 19:58:28 +0000
commit8abb6c24cd26b64d708a74faaa28cc9294dc3466 (patch)
tree836c47dbe99ed8884bf685f61315f4ce3bfc2113
parent81504a7ee24f22820c6bc85823c879d488710d11 (diff)
Move ui outputs to a sensible place
-rw-r--r--dhall/build.rs16
-rw-r--r--dhall/src/tests.rs11
-rw-r--r--dhall/tests/import/failure/cycle.txt (renamed from dhall/tests/errors/import/cycle.txt)0
-rw-r--r--dhall/tests/import/failure/importBoundary.txt (renamed from dhall/tests/errors/import/importBoundary.txt)0
-rw-r--r--dhall/tests/type-inference/failure/SortInLet.txt (renamed from dhall/tests/type-errors/SortInLet.txt)0
-rw-r--r--dhall/tests/type-inference/failure/hurkensParadox.txt (renamed from dhall/tests/type-errors/hurkensParadox.txt)0
-rw-r--r--dhall/tests/type-inference/failure/mixedUnions.txt (renamed from dhall/tests/type-errors/mixedUnions.txt)0
-rw-r--r--dhall/tests/type-inference/failure/recordOfKind.txt (renamed from dhall/tests/type-errors/recordOfKind.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt (renamed from dhall/tests/type-errors/unit/AnnotationRecordWrongFieldName.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt (renamed from dhall/tests/type-errors/unit/AnnotationRecordWrongFieldType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt (renamed from dhall/tests/type-errors/unit/AssertAlphaTrap.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt (renamed from dhall/tests/type-errors/unit/AssertDoubleZeros.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt (renamed from dhall/tests/type-errors/unit/AssertNotEquivalence.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt (renamed from dhall/tests/type-errors/unit/AssertTriviallyFalse.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt (renamed from dhall/tests/type-errors/unit/CompletionMissingRequiredField.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt (renamed from dhall/tests/type-errors/unit/CompletionWithWrongDefaultType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt (renamed from dhall/tests/type-errors/unit/CompletionWithWrongFieldName.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt (renamed from dhall/tests/type-errors/unit/CompletionWithWrongOverridenType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/EmptyToMap.txt (renamed from dhall/tests/type-errors/unit/EmptyToMap.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt (renamed from dhall/tests/type-errors/unit/EquivalenceNotSameType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt (renamed from dhall/tests/type-errors/unit/EquivalenceNotTerms.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt (renamed from dhall/tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt (renamed from dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt (renamed from dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt (renamed from dhall/tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt (renamed from dhall/tests/type-errors/unit/FunctionTypeKindSort.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt (renamed from dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt (renamed from dhall/tests/type-errors/unit/HeterogenousToMap.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt (renamed from dhall/tests/type-errors/unit/IfBranchesNotMatch.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt (renamed from dhall/tests/type-errors/unit/IfBranchesNotType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/IfNotBool.txt (renamed from dhall/tests/type-errors/unit/IfNotBool.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt (renamed from dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt (renamed from dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt (renamed from dhall/tests/type-errors/unit/ListLiteralNotType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt (renamed from dhall/tests/type-errors/unit/ListLiteralTypesNotMatch.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt (renamed from dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt (renamed from dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt (renamed from dhall/tests/type-errors/unit/MergeAnnotationNotType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt (renamed from dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt (renamed from dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt (renamed from dhall/tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt (renamed from dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt (renamed from dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt (renamed from dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt (renamed from dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt (renamed from dhall/tests/type-errors/unit/MergeLhsNotRecord.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt (renamed from dhall/tests/type-errors/unit/MergeMissingHandler1.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt (renamed from dhall/tests/type-errors/unit/MergeMissingHandler2.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt (renamed from dhall/tests/type-errors/unit/MergeRhsNotUnion.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt (renamed from dhall/tests/type-errors/unit/MergeUnusedHandler.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MistypedToMap1.txt (renamed from dhall/tests/type-errors/unit/MistypedToMap1.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MistypedToMap2.txt (renamed from dhall/tests/type-errors/unit/MistypedToMap2.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MistypedToMap3.txt (renamed from dhall/tests/type-errors/unit/MistypedToMap3.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/MistypedToMap4.txt (renamed from dhall/tests/type-errors/unit/MistypedToMap4.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt (renamed from dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/NonRecordToMap.txt (renamed from dhall/tests/type-errors/unit/NonRecordToMap.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt (renamed from dhall/tests/type-errors/unit/OperatorAndNotBool.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt (renamed from dhall/tests/type-errors/unit/OperatorEqualNotBool.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt (renamed from dhall/tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt (renamed from dhall/tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt (renamed from dhall/tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt (renamed from dhall/tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt (renamed from dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt (renamed from dhall/tests/type-errors/unit/OperatorOrNotBool.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt (renamed from dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt (renamed from dhall/tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt (renamed from dhall/tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt (renamed from dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt (renamed from dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt (renamed from dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordLitDuplicateFields.txt (renamed from dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt (renamed from dhall/tests/type-errors/unit/RecordMixedKinds3.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionByTypeFieldTypeMismatch.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionByTypeNotPresent.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionDuplicateFields.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionEmpty.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionNotPresent.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt (renamed from dhall/tests/type-errors/unit/RecordProjectionNotRecord.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt (renamed from dhall/tests/type-errors/unit/RecordSelectionEmpty.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt (renamed from dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt (renamed from dhall/tests/type-errors/unit/RecordSelectionNotRecord.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt (renamed from dhall/tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt (renamed from dhall/tests/type-errors/unit/RecordTypeDuplicateFields.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt (renamed from dhall/tests/type-errors/unit/RecordTypeValueMember.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt (renamed from dhall/tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt (renamed from dhall/tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt (renamed from dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt (renamed from dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt (renamed from dhall/tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/SomeNotType.txt (renamed from dhall/tests/type-errors/unit/SomeNotType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/Sort.txt (renamed from dhall/tests/type-errors/unit/Sort.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt (renamed from dhall/tests/type-errors/unit/TextLiteralInterpolateNotText.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt (renamed from dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt (renamed from dhall/tests/type-errors/unit/ToMapWrongKind.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt (renamed from dhall/tests/type-errors/unit/TypeAnnotationWrong.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt (renamed from dhall/tests/type-errors/unit/UnionConstructorFieldNotPresent.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt (renamed from dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt (renamed from dhall/tests/type-errors/unit/UnionTypeDuplicateVariants1.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt (renamed from dhall/tests/type-errors/unit/UnionTypeDuplicateVariants2.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt (renamed from dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt (renamed from dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt (renamed from dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt (renamed from dhall/tests/type-errors/unit/UnionTypeNotType.txt)0
-rw-r--r--dhall/tests/type-inference/failure/unit/VariableFree.txt (renamed from dhall/tests/type-errors/unit/VariableFree.txt)0
109 files changed, 11 insertions, 16 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index 3955b3a..67f11e2 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -110,14 +110,14 @@ fn make_test_module(
}
Some(output_type @ FileType::UI) => {
let input = feature.input_type.construct(&path);
- let output_file = PathBuf::from(path.as_ref())
- .strip_prefix(base_path)
- .unwrap()
- .strip_prefix(feature.directory)
- .unwrap()
- .to_string_lossy()
- .into_owned();
- let output = output_type.construct(&output_file);
+ // All ui outputs are in the local `tests/` directory.
+ let output_file = PathBuf::from("tests/").join(
+ PathBuf::from(path.as_ref())
+ .strip_prefix(base_path)
+ .unwrap(),
+ );
+ let output =
+ output_type.construct(&output_file.to_str().unwrap());
format!("{}({}, {})", feature.variant, input, output)
}
Some(output_type) => {
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs
index 659317f..d8ce2fa 100644
--- a/dhall/src/tests.rs
+++ b/dhall/src/tests.rs
@@ -201,11 +201,9 @@ fn run_test(test: Test) -> Result<()> {
// we instead write to it the output we got. This makes it easy to update those files: just
// `rm -r dhall/tests/type-errors` and run the tests again.
ImportError(expr, expected) => {
- let base_path = expected.path();
- let error_file_path =
- PathBuf::from("tests/errors/import/").join(base_path);
-
let err: Error = expr.parse()?.resolve().unwrap_err().into();
+
+ let error_file_path = expected.path();
if error_file_path.is_file() {
let expected_msg = std::fs::read_to_string(error_file_path)?;
let msg = format!("{}\n", err);
@@ -227,12 +225,9 @@ fn run_test(test: Test) -> Result<()> {
// we instead write to it the output we got. This makes it easy to update those files: just
// `rm -r dhall/tests/type-errors` and run the tests again.
TypeError(expr, expected) => {
- let base_path = expected.path();
- let error_file_path =
- PathBuf::from("tests/type-errors/").join(base_path);
-
let err: Error = expr.resolve()?.typecheck().unwrap_err().into();
+ let error_file_path = expected.path();
if error_file_path.is_file() {
let expected_msg = std::fs::read_to_string(error_file_path)?;
let msg = format!("{}\n", err);
diff --git a/dhall/tests/errors/import/cycle.txt b/dhall/tests/import/failure/cycle.txt
index 0a20503..0a20503 100644
--- a/dhall/tests/errors/import/cycle.txt
+++ b/dhall/tests/import/failure/cycle.txt
diff --git a/dhall/tests/errors/import/importBoundary.txt b/dhall/tests/import/failure/importBoundary.txt
index 8f78e48..8f78e48 100644
--- a/dhall/tests/errors/import/importBoundary.txt
+++ b/dhall/tests/import/failure/importBoundary.txt
diff --git a/dhall/tests/type-errors/SortInLet.txt b/dhall/tests/type-inference/failure/SortInLet.txt
index 5b88ff7..5b88ff7 100644
--- a/dhall/tests/type-errors/SortInLet.txt
+++ b/dhall/tests/type-inference/failure/SortInLet.txt
diff --git a/dhall/tests/type-errors/hurkensParadox.txt b/dhall/tests/type-inference/failure/hurkensParadox.txt
index 6b99615..6b99615 100644
--- a/dhall/tests/type-errors/hurkensParadox.txt
+++ b/dhall/tests/type-inference/failure/hurkensParadox.txt
diff --git a/dhall/tests/type-errors/mixedUnions.txt b/dhall/tests/type-inference/failure/mixedUnions.txt
index 8e0026d..8e0026d 100644
--- a/dhall/tests/type-errors/mixedUnions.txt
+++ b/dhall/tests/type-inference/failure/mixedUnions.txt
diff --git a/dhall/tests/type-errors/recordOfKind.txt b/dhall/tests/type-inference/failure/recordOfKind.txt
index 5b88ff7..5b88ff7 100644
--- a/dhall/tests/type-errors/recordOfKind.txt
+++ b/dhall/tests/type-inference/failure/recordOfKind.txt
diff --git a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldName.txt b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt
index 2a754fc..2a754fc 100644
--- a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldName.txt
+++ b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt
diff --git a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldType.txt b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt
index e67edb8..e67edb8 100644
--- a/dhall/tests/type-errors/unit/AnnotationRecordWrongFieldType.txt
+++ b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt
diff --git a/dhall/tests/type-errors/unit/AssertAlphaTrap.txt b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt
index 7e27d00..7e27d00 100644
--- a/dhall/tests/type-errors/unit/AssertAlphaTrap.txt
+++ b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt
diff --git a/dhall/tests/type-errors/unit/AssertDoubleZeros.txt b/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt
index 12231a0..12231a0 100644
--- a/dhall/tests/type-errors/unit/AssertDoubleZeros.txt
+++ b/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt
diff --git a/dhall/tests/type-errors/unit/AssertNotEquivalence.txt b/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt
index 5973d19..5973d19 100644
--- a/dhall/tests/type-errors/unit/AssertNotEquivalence.txt
+++ b/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt
diff --git a/dhall/tests/type-errors/unit/AssertTriviallyFalse.txt b/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt
index 5742022..5742022 100644
--- a/dhall/tests/type-errors/unit/AssertTriviallyFalse.txt
+++ b/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt
diff --git a/dhall/tests/type-errors/unit/CompletionMissingRequiredField.txt b/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt
index d0a9a01..d0a9a01 100644
--- a/dhall/tests/type-errors/unit/CompletionMissingRequiredField.txt
+++ b/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt
diff --git a/dhall/tests/type-errors/unit/CompletionWithWrongDefaultType.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt
index d4639e9..d4639e9 100644
--- a/dhall/tests/type-errors/unit/CompletionWithWrongDefaultType.txt
+++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt
diff --git a/dhall/tests/type-errors/unit/CompletionWithWrongFieldName.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt
index 0839742..0839742 100644
--- a/dhall/tests/type-errors/unit/CompletionWithWrongFieldName.txt
+++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt
diff --git a/dhall/tests/type-errors/unit/CompletionWithWrongOverridenType.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt
index 7edef95..7edef95 100644
--- a/dhall/tests/type-errors/unit/CompletionWithWrongOverridenType.txt
+++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt
diff --git a/dhall/tests/type-errors/unit/EmptyToMap.txt b/dhall/tests/type-inference/failure/unit/EmptyToMap.txt
index 000fac7..000fac7 100644
--- a/dhall/tests/type-errors/unit/EmptyToMap.txt
+++ b/dhall/tests/type-inference/failure/unit/EmptyToMap.txt
diff --git a/dhall/tests/type-errors/unit/EquivalenceNotSameType.txt b/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt
index 12e21e4..12e21e4 100644
--- a/dhall/tests/type-errors/unit/EquivalenceNotSameType.txt
+++ b/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt
diff --git a/dhall/tests/type-errors/unit/EquivalenceNotTerms.txt b/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt
index 0183c60..0183c60 100644
--- a/dhall/tests/type-errors/unit/EquivalenceNotTerms.txt
+++ b/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt
diff --git a/dhall/tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt b/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt
index 07278b8..07278b8 100644
--- a/dhall/tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt
diff --git a/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt b/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt
index e46904a..e46904a 100644
--- a/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt
diff --git a/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt b/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt
index e84eb15..e84eb15 100644
--- a/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt
diff --git a/dhall/tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt
index 4aa0f4f..4aa0f4f 100644
--- a/dhall/tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt
diff --git a/dhall/tests/type-errors/unit/FunctionTypeKindSort.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt
index 5b88ff7..5b88ff7 100644
--- a/dhall/tests/type-errors/unit/FunctionTypeKindSort.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt
diff --git a/dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt
index 5b88ff7..5b88ff7 100644
--- a/dhall/tests/type-errors/unit/FunctionTypeTypeSort.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt
diff --git a/dhall/tests/type-errors/unit/HeterogenousToMap.txt b/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt
index 2f8abf2..2f8abf2 100644
--- a/dhall/tests/type-errors/unit/HeterogenousToMap.txt
+++ b/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt
diff --git a/dhall/tests/type-errors/unit/IfBranchesNotMatch.txt b/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt
index d58af95..d58af95 100644
--- a/dhall/tests/type-errors/unit/IfBranchesNotMatch.txt
+++ b/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt
diff --git a/dhall/tests/type-errors/unit/IfBranchesNotType.txt b/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt
index b70ac5f..b70ac5f 100644
--- a/dhall/tests/type-errors/unit/IfBranchesNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt
diff --git a/dhall/tests/type-errors/unit/IfNotBool.txt b/dhall/tests/type-inference/failure/unit/IfNotBool.txt
index eb5ff42..eb5ff42 100644
--- a/dhall/tests/type-errors/unit/IfNotBool.txt
+++ b/dhall/tests/type-inference/failure/unit/IfNotBool.txt
diff --git a/dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt b/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt
index 5ba4b35..5ba4b35 100644
--- a/dhall/tests/type-errors/unit/LetWithWrongAnnotation.txt
+++ b/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt
diff --git a/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt b/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt
index 2ca5819..2ca5819 100644
--- a/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt
diff --git a/dhall/tests/type-errors/unit/ListLiteralNotType.txt b/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt
index 62d69e5..62d69e5 100644
--- a/dhall/tests/type-errors/unit/ListLiteralNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt
diff --git a/dhall/tests/type-errors/unit/ListLiteralTypesNotMatch.txt b/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt
index 33e007d..33e007d 100644
--- a/dhall/tests/type-errors/unit/ListLiteralTypesNotMatch.txt
+++ b/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt
diff --git a/dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt b/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt
index a4a967a..a4a967a 100644
--- a/dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt
diff --git a/dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt b/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt
index 9175f33..9175f33 100644
--- a/dhall/tests/type-errors/unit/MergeAnnotationMismatch.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt
diff --git a/dhall/tests/type-errors/unit/MergeAnnotationNotType.txt b/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt
index 1173f0c..1173f0c 100644
--- a/dhall/tests/type-errors/unit/MergeAnnotationNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt
diff --git a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt
index 94442e0..94442e0 100644
--- a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt
diff --git a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt
index 5dcffdf..5dcffdf 100644
--- a/dhall/tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt
diff --git a/dhall/tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt
index bf45123..bf45123 100644
--- a/dhall/tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt
diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt
index 8528f90..8528f90 100644
--- a/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt
diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt
index 3159340..3159340 100644
--- a/dhall/tests/type-errors/unit/MergeHandlerNotInUnion.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt
diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt
index c2229bd..c2229bd 100644
--- a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt
diff --git a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt b/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt
index 47f3de7..47f3de7 100644
--- a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt
diff --git a/dhall/tests/type-errors/unit/MergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt
index f27dddd..f27dddd 100644
--- a/dhall/tests/type-errors/unit/MergeLhsNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt
diff --git a/dhall/tests/type-errors/unit/MergeMissingHandler1.txt b/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt
index af58d05..af58d05 100644
--- a/dhall/tests/type-errors/unit/MergeMissingHandler1.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt
diff --git a/dhall/tests/type-errors/unit/MergeMissingHandler2.txt b/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt
index 49484df..49484df 100644
--- a/dhall/tests/type-errors/unit/MergeMissingHandler2.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt
diff --git a/dhall/tests/type-errors/unit/MergeRhsNotUnion.txt b/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt
index 0108725..0108725 100644
--- a/dhall/tests/type-errors/unit/MergeRhsNotUnion.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt
diff --git a/dhall/tests/type-errors/unit/MergeUnusedHandler.txt b/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt
index 2afe376..2afe376 100644
--- a/dhall/tests/type-errors/unit/MergeUnusedHandler.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt
diff --git a/dhall/tests/type-errors/unit/MistypedToMap1.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt
index 14d9791..14d9791 100644
--- a/dhall/tests/type-errors/unit/MistypedToMap1.txt
+++ b/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt
diff --git a/dhall/tests/type-errors/unit/MistypedToMap2.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt
index 88e303e..88e303e 100644
--- a/dhall/tests/type-errors/unit/MistypedToMap2.txt
+++ b/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt
diff --git a/dhall/tests/type-errors/unit/MistypedToMap3.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt
index 6b3772d..6b3772d 100644
--- a/dhall/tests/type-errors/unit/MistypedToMap3.txt
+++ b/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt
diff --git a/dhall/tests/type-errors/unit/MistypedToMap4.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt
index e0cf651..e0cf651 100644
--- a/dhall/tests/type-errors/unit/MistypedToMap4.txt
+++ b/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt
diff --git a/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt b/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt
index ac336a6..ac336a6 100644
--- a/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt
+++ b/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt
diff --git a/dhall/tests/type-errors/unit/NonRecordToMap.txt b/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt
index 8e83002..8e83002 100644
--- a/dhall/tests/type-errors/unit/NonRecordToMap.txt
+++ b/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt
diff --git a/dhall/tests/type-errors/unit/OperatorAndNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt
index f6ea50b..f6ea50b 100644
--- a/dhall/tests/type-errors/unit/OperatorAndNotBool.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt
diff --git a/dhall/tests/type-errors/unit/OperatorEqualNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt
index 8662c16..8662c16 100644
--- a/dhall/tests/type-errors/unit/OperatorEqualNotBool.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt
diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt
index 8075b99..8075b99 100644
--- a/dhall/tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt
diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt
index 9e404f8..9e404f8 100644
--- a/dhall/tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt
diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt
index fffc898..fffc898 100644
--- a/dhall/tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt
diff --git a/dhall/tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt
index 2ba0b91..2ba0b91 100644
--- a/dhall/tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt
diff --git a/dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt
index ac04fd4..ac04fd4 100644
--- a/dhall/tests/type-errors/unit/OperatorNotEqualNotBool.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt
diff --git a/dhall/tests/type-errors/unit/OperatorOrNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt
index 9e1c4fb..9e1c4fb 100644
--- a/dhall/tests/type-errors/unit/OperatorOrNotBool.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt
diff --git a/dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt b/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt
index 97e0df4..97e0df4 100644
--- a/dhall/tests/type-errors/unit/OperatorPlusNotNatural.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt
diff --git a/dhall/tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt
index 679d991..679d991 100644
--- a/dhall/tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt
diff --git a/dhall/tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt
index 85611f7..85611f7 100644
--- a/dhall/tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt
diff --git a/dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt b/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt
index d688ed6..d688ed6 100644
--- a/dhall/tests/type-errors/unit/OperatorTimesNotNatural.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt
diff --git a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt
index bfb36ae..bfb36ae 100644
--- a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt
+++ b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt
diff --git a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt
index 5332fcb..5332fcb 100644
--- a/dhall/tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt
+++ b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt
diff --git a/dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordLitDuplicateFields.txt
index 608c6a0..608c6a0 100644
--- a/dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordLitDuplicateFields.txt
diff --git a/dhall/tests/type-errors/unit/RecordMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt
index 5b88ff7..5b88ff7 100644
--- a/dhall/tests/type-errors/unit/RecordMixedKinds3.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt
diff --git a/dhall/tests/type-errors/unit/RecordProjectionByTypeFieldTypeMismatch.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt
index d624075..d624075 100644
--- a/dhall/tests/type-errors/unit/RecordProjectionByTypeFieldTypeMismatch.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt
diff --git a/dhall/tests/type-errors/unit/RecordProjectionByTypeNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt
index c22c2c4..c22c2c4 100644
--- a/dhall/tests/type-errors/unit/RecordProjectionByTypeNotPresent.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt
diff --git a/dhall/tests/type-errors/unit/RecordProjectionDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt
index 5c6520b..5c6520b 100644
--- a/dhall/tests/type-errors/unit/RecordProjectionDuplicateFields.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt
diff --git a/dhall/tests/type-errors/unit/RecordProjectionEmpty.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt
index 39f263b..39f263b 100644
--- a/dhall/tests/type-errors/unit/RecordProjectionEmpty.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt
diff --git a/dhall/tests/type-errors/unit/RecordProjectionNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt
index 032f7a0..032f7a0 100644
--- a/dhall/tests/type-errors/unit/RecordProjectionNotPresent.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt
diff --git a/dhall/tests/type-errors/unit/RecordProjectionNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt
index 5ed6ffd..5ed6ffd 100644
--- a/dhall/tests/type-errors/unit/RecordProjectionNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt
diff --git a/dhall/tests/type-errors/unit/RecordSelectionEmpty.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt
index 5b3b7f8..5b3b7f8 100644
--- a/dhall/tests/type-errors/unit/RecordSelectionEmpty.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt
diff --git a/dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt
index d435ca0..d435ca0 100644
--- a/dhall/tests/type-errors/unit/RecordSelectionNotPresent.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt
diff --git a/dhall/tests/type-errors/unit/RecordSelectionNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt
index 3f9b7ed..3f9b7ed 100644
--- a/dhall/tests/type-errors/unit/RecordSelectionNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt
diff --git a/dhall/tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt
index cca28b8..cca28b8 100644
--- a/dhall/tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt
diff --git a/dhall/tests/type-errors/unit/RecordTypeDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt
index 145a59b..145a59b 100644
--- a/dhall/tests/type-errors/unit/RecordTypeDuplicateFields.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt
diff --git a/dhall/tests/type-errors/unit/RecordTypeValueMember.txt b/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt
index 04488ad..04488ad 100644
--- a/dhall/tests/type-errors/unit/RecordTypeValueMember.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt
diff --git a/dhall/tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt
index f74e839..f74e839 100644
--- a/dhall/tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt
diff --git a/dhall/tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt
index f74e839..f74e839 100644
--- a/dhall/tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt
diff --git a/dhall/tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt
index f74e839..f74e839 100644
--- a/dhall/tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt
diff --git a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt
index b35e64b..b35e64b 100644
--- a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt
diff --git a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt
index f74e839..f74e839 100644
--- a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt
diff --git a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt
index 0200f97..0200f97 100644
--- a/dhall/tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt
diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt
index 3b158ce..3b158ce 100644
--- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt
diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt
index 5b88ff7..5b88ff7 100644
--- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt
+++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt
diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt
index 5b88ff7..5b88ff7 100644
--- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt
+++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt
diff --git a/dhall/tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt
index 4f9cb0d..4f9cb0d 100644
--- a/dhall/tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt
diff --git a/dhall/tests/type-errors/unit/SomeNotType.txt b/dhall/tests/type-inference/failure/unit/SomeNotType.txt
index 3584768..3584768 100644
--- a/dhall/tests/type-errors/unit/SomeNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/SomeNotType.txt
diff --git a/dhall/tests/type-errors/unit/Sort.txt b/dhall/tests/type-inference/failure/unit/Sort.txt
index 5b88ff7..5b88ff7 100644
--- a/dhall/tests/type-errors/unit/Sort.txt
+++ b/dhall/tests/type-inference/failure/unit/Sort.txt
diff --git a/dhall/tests/type-errors/unit/TextLiteralInterpolateNotText.txt b/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt
index 0132a30..0132a30 100644
--- a/dhall/tests/type-errors/unit/TextLiteralInterpolateNotText.txt
+++ b/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt
diff --git a/dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt b/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt
index c28073e..c28073e 100644
--- a/dhall/tests/type-errors/unit/ToMapEmptyInvalidAnnotation.txt
+++ b/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt
diff --git a/dhall/tests/type-errors/unit/ToMapWrongKind.txt b/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt
index 8158c08..8158c08 100644
--- a/dhall/tests/type-errors/unit/ToMapWrongKind.txt
+++ b/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt
diff --git a/dhall/tests/type-errors/unit/TypeAnnotationWrong.txt b/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt
index 7360e68..7360e68 100644
--- a/dhall/tests/type-errors/unit/TypeAnnotationWrong.txt
+++ b/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt
diff --git a/dhall/tests/type-errors/unit/UnionConstructorFieldNotPresent.txt b/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt
index 41d283d..41d283d 100644
--- a/dhall/tests/type-errors/unit/UnionConstructorFieldNotPresent.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt
diff --git a/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt b/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt
index 91fb96d..91fb96d 100644
--- a/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt
diff --git a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants1.txt b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt
index 7372641..7372641 100644
--- a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants1.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt
diff --git a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants2.txt b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt
index 07042c2..07042c2 100644
--- a/dhall/tests/type-errors/unit/UnionTypeDuplicateVariants2.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt
diff --git a/dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt
index 00e24b3..00e24b3 100644
--- a/dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt
diff --git a/dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt
index 924b1e1..924b1e1 100644
--- a/dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt
diff --git a/dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt
index 1113a0d..1113a0d 100644
--- a/dhall/tests/type-errors/unit/UnionTypeMixedKinds3.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt
diff --git a/dhall/tests/type-errors/unit/UnionTypeNotType.txt b/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt
index b2c06e0..b2c06e0 100644
--- a/dhall/tests/type-errors/unit/UnionTypeNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt
diff --git a/dhall/tests/type-errors/unit/VariableFree.txt b/dhall/tests/type-inference/failure/unit/VariableFree.txt
index db78e15..db78e15 100644
--- a/dhall/tests/type-errors/unit/VariableFree.txt
+++ b/dhall/tests/type-inference/failure/unit/VariableFree.txt