summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall/tests/import/failure/importBoundary.txt2
-rw-r--r--dhall/tests/type-inference/failure/SortInLet.txt2
-rw-r--r--dhall/tests/type-inference/failure/hurkensParadox.txt2
-rw-r--r--dhall/tests/type-inference/failure/mixedUnions.txt2
-rw-r--r--dhall/tests/type-inference/failure/recordOfKind.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/EmptyToMap.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionTypeOutputTypeNotAType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/IfNotBool.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/LetInSort.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeBool.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MistypedToMap1.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MistypedToMap2.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MistypedToMap3.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/MistypedToMap4.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/NestedAnnotInnerWrong.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/NestedAnnotOuterWrong.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/NonRecordToMap.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/SomeNotType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/Sort.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/VariableFree.txt2
-rw-r--r--dhall/tests/type-inference/failure/unit/WithUnderscore.txt2
111 files changed, 111 insertions, 111 deletions
diff --git a/dhall/tests/import/failure/importBoundary.txt b/dhall/tests/import/failure/importBoundary.txt
index 6f0615d..56810e2 100644
--- a/dhall/tests/import/failure/importBoundary.txt
+++ b/dhall/tests/import/failure/importBoundary.txt
@@ -1,5 +1,5 @@
Type error: error: unbound variable `x`
- --> <current file>:1:0
+ --> <current file>:1:1
|
...
3 | x
diff --git a/dhall/tests/type-inference/failure/SortInLet.txt b/dhall/tests/type-inference/failure/SortInLet.txt
index 19bd26d..1f38c3e 100644
--- a/dhall/tests/type-inference/failure/SortInLet.txt
+++ b/dhall/tests/type-inference/failure/SortInLet.txt
@@ -1,5 +1,5 @@
Type error: error: Sort does not have a type
- --> <current file>:1:8
+ --> <current file>:1:9
|
1 | let x = Sort in 0
| ^^^^ Sort does not have a type
diff --git a/dhall/tests/type-inference/failure/hurkensParadox.txt b/dhall/tests/type-inference/failure/hurkensParadox.txt
index 5aacb80..ec641c9 100644
--- a/dhall/tests/type-inference/failure/hurkensParadox.txt
+++ b/dhall/tests/type-inference/failure/hurkensParadox.txt
@@ -1,5 +1,5 @@
Type error: error: wrong type of function argument
- --> <current file>:6:15
+ --> <current file>:6:16
|
1 | let bottom : Type = ∀(any : Type) → any
2 |
diff --git a/dhall/tests/type-inference/failure/mixedUnions.txt b/dhall/tests/type-inference/failure/mixedUnions.txt
index 8e0026d..a6ca913 100644
--- a/dhall/tests/type-inference/failure/mixedUnions.txt
+++ b/dhall/tests/type-inference/failure/mixedUnions.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidFieldType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | < Left : Natural | Right : Type >
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType
diff --git a/dhall/tests/type-inference/failure/recordOfKind.txt b/dhall/tests/type-inference/failure/recordOfKind.txt
index 653fe0b..7dcbe4f 100644
--- a/dhall/tests/type-inference/failure/recordOfKind.txt
+++ b/dhall/tests/type-inference/failure/recordOfKind.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidFieldType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { a = Kind }
| ^^^^^^^^^^^^ InvalidFieldType
diff --git a/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt
index a39a0fb..6f9bfc1 100644
--- a/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt
+++ b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldName.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: { x : Natural } != { y : Natural }
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { x = 1 } : { y : Natural }
| ^^^^^^^^^ annot mismatch: { x : Natural } != { y : Natural }
diff --git a/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt
index 9ecc2a4..36f05d8 100644
--- a/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt
+++ b/dhall/tests/type-inference/failure/unit/AnnotationRecordWrongFieldType.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: { x : Natural } != { x : Text }
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { x = 1 } : { x : Text }
| ^^^^^^^^^ annot mismatch: { x : Natural } != { x : Text }
diff --git a/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt
index 7e27d00..0798b19 100644
--- a/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt
+++ b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap.txt
@@ -1,5 +1,5 @@
Type error: error: unbound variable ``_``
- --> <current file>:1:46
+ --> <current file>:1:47
|
1 | assert : (\(_: Bool) -> _) === (\(x: Bool) -> _)
| ^ not found in this scope
diff --git a/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt b/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt
index 12231a0..2606a9a 100644
--- a/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt
+++ b/dhall/tests/type-inference/failure/unit/AssertDoubleZeros.txt
@@ -1,5 +1,5 @@
Type error: error: AssertMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | assert : -0.0 ≡ +0.0
| ^^^^^^^^^^^^^^^^^^^^ AssertMismatch
diff --git a/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt b/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt
index 5973d19..99ac828 100644
--- a/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt
+++ b/dhall/tests/type-inference/failure/unit/AssertNotEquivalence.txt
@@ -1,5 +1,5 @@
Type error: error: AssertMustTakeEquivalence
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | assert : Bool
| ^^^^^^^^^^^^^ AssertMustTakeEquivalence
diff --git a/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt b/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt
index 5742022..327a5d8 100644
--- a/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt
+++ b/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt
@@ -1,5 +1,5 @@
Type error: error: AssertMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | assert : 1 === 2
| ^^^^^^^^^^^^^^^^ AssertMismatch
diff --git a/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt b/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt
index 7a4a12c..fb1eb38 100644
--- a/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt
+++ b/dhall/tests/type-inference/failure/unit/CompletionMissingRequiredField.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: { id : Optional Natural } != { id : Optional Natural, name : Text }
- --> <current file>:1:4
+ --> <current file>:1:5
|
...
6 | in Example::{=}
diff --git a/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt
index 9235ed4..cf6863d 100644
--- a/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt
+++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongDefaultType.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: { id : Optional Natural, name : Bool } != { id : Optional Natural, name : Text }
- --> <current file>:1:4
+ --> <current file>:1:5
|
...
6 | in Example::{=}
diff --git a/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt
index 6a6cd1e..69be855 100644
--- a/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt
+++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongFieldName.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: { id : Optional Natural, nam : Text, name : Text } != { id : Optional Natural, name : Text }
- --> <current file>:1:4
+ --> <current file>:1:5
|
...
6 | in Example::{ nam = "John Doe" }
diff --git a/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt b/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt
index b4fe726..a663d0c 100644
--- a/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt
+++ b/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: { id : Optional Natural, name : Bool } != { id : Optional Natural, name : Text }
- --> <current file>:1:4
+ --> <current file>:1:5
|
...
6 | in Example::{ name = True }
diff --git a/dhall/tests/type-inference/failure/unit/EmptyToMap.txt b/dhall/tests/type-inference/failure/unit/EmptyToMap.txt
index 000fac7..f3a5cca 100644
--- a/dhall/tests/type-inference/failure/unit/EmptyToMap.txt
+++ b/dhall/tests/type-inference/failure/unit/EmptyToMap.txt
@@ -1,5 +1,5 @@
Type error: error: `toMap` applied to an empty record requires a type annotation
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | toMap {=}
| ^^^^^^^^^ `toMap` applied to an empty record requires a type annotation
diff --git a/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt b/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt
index 12e21e4..d0d0489 100644
--- a/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt
+++ b/dhall/tests/type-inference/failure/unit/EquivalenceNotSameType.txt
@@ -1,5 +1,5 @@
Type error: error: EquivalenceTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | 1 === False
| ^^^^^^^^^^^ EquivalenceTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt b/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt
index 0183c60..823c513 100644
--- a/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt
+++ b/dhall/tests/type-inference/failure/unit/EquivalenceNotTerms.txt
@@ -1,5 +1,5 @@
Type error: error: EquivalenceArgumentsMustBeTerms
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | Bool === Bool
| ^^^^^^^^^^^^^ EquivalenceArgumentsMustBeTerms
diff --git a/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt b/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt
index 07278b8..e70bbe0 100644
--- a/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionApplicationArgumentNotMatch.txt
@@ -1,5 +1,5 @@
Type error: error: wrong type of function argument
- --> <current file>:1:1
+ --> <current file>:1:2
|
1 | (λ(_ : Natural) → _) True
| ^^^^^^^^^^^^^^^^^^ this expects an argument of type: Natural
diff --git a/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt b/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt
index e46904a..bddf096 100644
--- a/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionApplicationIsNotFunction.txt
@@ -1,5 +1,5 @@
Type error: error: expected function, found `Bool`
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | True True
| ^^^^ function application requires a function
diff --git a/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt b/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt
index ca5bbcd..2ffcd8b 100644
--- a/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionArgumentTypeNotAType.txt
@@ -1,5 +1,5 @@
Type error: error: Expected a type, found: `1`
- --> <current file>:1:6
+ --> <current file>:1:7
|
1 | λ(_ : 1) → _
| ^ this has type: `Natural`
diff --git a/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt
index 168ebb9..0cc7b4d 100644
--- a/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionTypeArgumentTypeNotAType.txt
@@ -1,5 +1,5 @@
Type error: error: Expected a type, found: `2`
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | 2 → _
| ^ this has type: `Natural`
diff --git a/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt
index 6f26607..7d4a140 100644
--- a/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionTypeKindSort.txt
@@ -1,5 +1,5 @@
Type error: error: Sort does not have a type
- --> <current file>:1:7
+ --> <current file>:1:8
|
1 | Kind → Sort
| ^^^^ Sort does not have a type
diff --git a/dhall/tests/type-inference/failure/unit/FunctionTypeOutputTypeNotAType.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeOutputTypeNotAType.txt
index bcc44a5..d335b63 100644
--- a/dhall/tests/type-inference/failure/unit/FunctionTypeOutputTypeNotAType.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionTypeOutputTypeNotAType.txt
@@ -1,5 +1,5 @@
Type error: error: Expected a type, found: `1`
- --> <current file>:1:8
+ --> <current file>:1:9
|
1 | Bool -> 1
| ^ this has type: `Natural`
diff --git a/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt b/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt
index 169014b..f377b54 100644
--- a/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt
+++ b/dhall/tests/type-inference/failure/unit/FunctionTypeTypeSort.txt
@@ -1,5 +1,5 @@
Type error: error: Sort does not have a type
- --> <current file>:1:7
+ --> <current file>:1:8
|
1 | Type → Sort
| ^^^^ Sort does not have a type
diff --git a/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt b/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt
index 2f8abf2..75c9f3d 100644
--- a/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt
+++ b/dhall/tests/type-inference/failure/unit/HeterogenousToMap.txt
@@ -1,5 +1,5 @@
Type error: error: Every field of the record must have the same type
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | toMap { foo= 1, bar= "Bar" }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Every field of the record must have the same type
diff --git a/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt b/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt
index d58af95..b27c37f 100644
--- a/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt
+++ b/dhall/tests/type-inference/failure/unit/IfBranchesNotMatch.txt
@@ -1,5 +1,5 @@
Type error: error: IfBranchMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | if True then 1 else ""
| ^^^^^^^^^^^^^^^^^^^^^^ IfBranchMismatch
diff --git a/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt b/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt
index b70ac5f..4c9ec28 100644
--- a/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt
@@ -1,5 +1,5 @@
Type error: error: IfBranchMustBeTerm
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | if True then Type else Type
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ IfBranchMustBeTerm
diff --git a/dhall/tests/type-inference/failure/unit/IfNotBool.txt b/dhall/tests/type-inference/failure/unit/IfNotBool.txt
index eb5ff42..1b1560b 100644
--- a/dhall/tests/type-inference/failure/unit/IfNotBool.txt
+++ b/dhall/tests/type-inference/failure/unit/IfNotBool.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidPredicate
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | if 1 then 1 else 1
| ^^^^^^^^^^^^^^^^^^ InvalidPredicate
diff --git a/dhall/tests/type-inference/failure/unit/LetInSort.txt b/dhall/tests/type-inference/failure/unit/LetInSort.txt
index 07be298..529c78e 100644
--- a/dhall/tests/type-inference/failure/unit/LetInSort.txt
+++ b/dhall/tests/type-inference/failure/unit/LetInSort.txt
@@ -1,5 +1,5 @@
Type error: error: Sort does not have a type
- --> <current file>:1:18
+ --> <current file>:1:19
|
1 | \(x: let x = 0 in Sort) -> 1
| ^^^^ Sort does not have a type
diff --git a/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt b/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt
index 51279f2..bb4ac84 100644
--- a/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt
+++ b/dhall/tests/type-inference/failure/unit/LetWithWrongAnnotation.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: Bool != Natural
- --> <current file>:1:18
+ --> <current file>:1:19
|
1 | let x : Natural = True in True
| ^^^^ annot mismatch: Bool != Natural
diff --git a/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt b/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt
index 2ca5819..ebe2c26 100644
--- a/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt
@@ -1,5 +1,5 @@
Type error: error: wrong type of function argument
- --> <current file>:1:5
+ --> <current file>:1:6
|
1 | [] : List Type
| ^^^^ this expects an argument of type: Type
diff --git a/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt b/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt
index 62d69e5..7454433 100644
--- a/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/ListLiteralNotType.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidListType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | [ Bool ]
| ^^^^^^^^ InvalidListType
diff --git a/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt b/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt
index 33e007d..495c88c 100644
--- a/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt
+++ b/dhall/tests/type-inference/failure/unit/ListLiteralTypesNotMatch.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidListElement
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | [ True, 1 ]
| ^^^^^^^^^^^ InvalidListElement
diff --git a/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt b/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt
index a4a967a..bd121e6 100644
--- a/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeAlternativeHasNoHandler.txt
@@ -1,5 +1,5 @@
Type error: error: MergeVariantMissingHandler
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge {=} (< x : Bool >.x True)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeVariantMissingHandler
diff --git a/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt b/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt
index 9175f33..7c93b44 100644
--- a/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeAnnotationMismatch.txt
@@ -1,5 +1,5 @@
Type error: error: MergeAnnotMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge { x = 0 } < x >.x : Bool
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeAnnotMismatch
diff --git a/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt b/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt
index 1173f0c..22b8667 100644
--- a/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeAnnotationNotType.txt
@@ -1,5 +1,5 @@
Type error: error: Merge2ArgMustBeUnionOrOptional
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge {=} <> : Type
| ^^^^^^^^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional
diff --git a/dhall/tests/type-inference/failure/unit/MergeBool.txt b/dhall/tests/type-inference/failure/unit/MergeBool.txt
index 209def1..7ecdcb9 100644
--- a/dhall/tests/type-inference/failure/unit/MergeBool.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeBool.txt
@@ -1,5 +1,5 @@
Type error: error: Merge2ArgMustBeUnionOrOptional
- --> <current file>:1:43
+ --> <current file>:1:44
|
1 | \(x: { True: Natural, False: Natural }) -> merge x True
| ^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional
diff --git a/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt
index 94442e0..1741739 100644
--- a/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation1.txt
@@ -1,5 +1,5 @@
Type error: error: MergeEmptyNeedsAnnotation
- --> <current file>:1:13
+ --> <current file>:1:14
|
1 | \(x: <>) -> (merge {=} x) : Bool
| ^^^^^^^^^^^ MergeEmptyNeedsAnnotation
diff --git a/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt
index 5dcffdf..fedd3b2 100644
--- a/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeEmptyNeedsDirectAnnotation2.txt
@@ -1,5 +1,5 @@
Type error: error: MergeEmptyNeedsAnnotation
- --> <current file>:1:26
+ --> <current file>:1:27
|
1 | \(x: <>) -> let y: Bool = merge {=} x in 1
| ^^^^^^^^^^^ MergeEmptyNeedsAnnotation
diff --git a/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt b/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt
index bf45123..5f5181c 100644
--- a/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeEmptyWithoutAnnotation.txt
@@ -1,5 +1,5 @@
Type error: error: Merge2ArgMustBeUnionOrOptional
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge {=} <>
| ^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional
diff --git a/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt
index 8528f90..83f1b90 100644
--- a/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotFunction.txt
@@ -1,5 +1,5 @@
Type error: error: merge handler is not a function
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge { x = True } (< x : Bool >.x True)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression
diff --git a/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt
index 3159340..51456ed 100644
--- a/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotInUnion.txt
@@ -1,5 +1,5 @@
Type error: error: Merge2ArgMustBeUnionOrOptional
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge { x = λ(_ : Bool) → _ } <> : Bool
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional
diff --git a/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt b/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt
index c2229bd..34f968f 100644
--- a/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeHandlerNotMatchAlternativeType.txt
@@ -1,5 +1,5 @@
Type error: error: Wrong handler input type
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge { x = λ(_ : Bool) → _ } (< x : Natural >.x 1)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression
diff --git a/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt b/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt
index 47f3de7..f3d8fd2 100644
--- a/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeHandlersWithDifferentType.txt
@@ -1,5 +1,5 @@
Type error: error: MergeHandlerTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge { x = λ(_ : Bool) → _, y = λ(_ : Natural) → _ } (< x : Bool | y : Natural >.x True)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeHandlerTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt
index f27dddd..5e4415f 100644
--- a/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeLhsNotRecord.txt
@@ -1,5 +1,5 @@
Type error: error: Merge1ArgMustBeRecord
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge True < x >.x
| ^^^^^^^^^^^^^^^^^^ Merge1ArgMustBeRecord
diff --git a/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt b/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt
index af58d05..b3ec2ff 100644
--- a/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeMissingHandler1.txt
@@ -1,5 +1,5 @@
Type error: error: MergeVariantMissingHandler
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge {=} <x>.x
| ^^^^^^^^^^^^^^^ MergeVariantMissingHandler
diff --git a/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt b/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt
index 49484df..f98924d 100644
--- a/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeMissingHandler2.txt
@@ -1,5 +1,5 @@
Type error: error: MergeVariantMissingHandler
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge { x = 0 } <x | y>.x
| ^^^^^^^^^^^^^^^^^^^^^^^^^ MergeVariantMissingHandler
diff --git a/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt b/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt
index 0108725..ffa6387 100644
--- a/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt
@@ -1,5 +1,5 @@
Type error: error: Merge2ArgMustBeUnionOrOptional
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge {=} True
| ^^^^^^^^^^^^^^ Merge2ArgMustBeUnionOrOptional
diff --git a/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt b/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt
index 2afe376..12abd94 100644
--- a/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt
+++ b/dhall/tests/type-inference/failure/unit/MergeUnusedHandler.txt
@@ -1,5 +1,5 @@
Type error: error: MergeHandlerMissingVariant
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | merge { x = 1, y = 2 } < x >.x
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ MergeHandlerMissingVariant
diff --git a/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt
index 14d9791..a5fce09 100644
--- a/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt
+++ b/dhall/tests/type-inference/failure/unit/MistypedToMap1.txt
@@ -1,5 +1,5 @@
Type error: error: Annotation mismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | toMap { foo= 1, bar= 4 } : Natural
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch
diff --git a/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt
index 88e303e..5b3e94c 100644
--- a/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt
+++ b/dhall/tests/type-inference/failure/unit/MistypedToMap2.txt
@@ -1,5 +1,5 @@
Type error: error: Annotation mismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | toMap { foo= 1, bar= 4 } : List Natural
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch
diff --git a/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt
index 6b3772d..7be0766 100644
--- a/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt
+++ b/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt
@@ -1,5 +1,5 @@
Type error: error: Annotation mismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | toMap { foo= 1, bar= 4 } : List { mapKey : Natural, mapValue : Natural }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch
diff --git a/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt b/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt
index e0cf651..45b7552 100644
--- a/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt
+++ b/dhall/tests/type-inference/failure/unit/MistypedToMap4.txt
@@ -1,5 +1,5 @@
Type error: error: Annotation mismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | toMap { foo= 1, bar= 4 } : List { mapKey : Text, mapValue : Text }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Annotation mismatch
diff --git a/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt b/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt
index ac336a6..45ccd2f 100644
--- a/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt
+++ b/dhall/tests/type-inference/failure/unit/NaturalSubtractNotNatural.txt
@@ -1,5 +1,5 @@
Type error: error: wrong type of function argument
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | Natural/subtract True True
| ^^^^^^^^^^^^^^^^ this expects an argument of type: Natural
diff --git a/dhall/tests/type-inference/failure/unit/NestedAnnotInnerWrong.txt b/dhall/tests/type-inference/failure/unit/NestedAnnotInnerWrong.txt
index b56db54..750a8cf 100644
--- a/dhall/tests/type-inference/failure/unit/NestedAnnotInnerWrong.txt
+++ b/dhall/tests/type-inference/failure/unit/NestedAnnotInnerWrong.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: Natural != Bool
- --> <current file>:1:1
+ --> <current file>:1:2
|
1 | (0 : Bool) : Natural
| ^ annot mismatch: Natural != Bool
diff --git a/dhall/tests/type-inference/failure/unit/NestedAnnotOuterWrong.txt b/dhall/tests/type-inference/failure/unit/NestedAnnotOuterWrong.txt
index 2f07b8d..f700201 100644
--- a/dhall/tests/type-inference/failure/unit/NestedAnnotOuterWrong.txt
+++ b/dhall/tests/type-inference/failure/unit/NestedAnnotOuterWrong.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: Natural != Bool
- --> <current file>:1:1
+ --> <current file>:1:2
|
1 | (0 : Natural) : Bool
| ^^^^^^^^^^^ annot mismatch: Natural != Bool
diff --git a/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt b/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt
index 8e83002..cf764c3 100644
--- a/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt
+++ b/dhall/tests/type-inference/failure/unit/NonRecordToMap.txt
@@ -1,5 +1,5 @@
Type error: error: The argument to `toMap` must be a record
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | toMap "text"
| ^^^^^^^^^^^^ The argument to `toMap` must be a record
diff --git a/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt
index f6ea50b..a8743d6 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorAndNotBool.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | 1 && 1
| ^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt
index 8662c16..9223805 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorEqualNotBool.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | 1 == 1
| ^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt
index 8075b99..57ce7a2 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateLhsNotList.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | 1 # [ True ]
| ^^^^^^^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt
index 9e404f8..5d39cd0 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateListsNotMatch.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | [ True ] # [ 1 ]
| ^^^^^^^^^^^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt
index fffc898..0b21ff1 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateNotListsButMatch.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | 1 # 2
| ^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt
index 2ba0b91..afa5d0f 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorListConcatenateRhsNotList.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | [ True ] # 1
| ^^^^^^^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt
index ac04fd4..f5d371c 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorNotEqualNotBool.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | 1 != 1
| ^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt b/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt
index 9e1c4fb..851fe75 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorOrNotBool.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | 1 || 1
| ^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt b/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt
index 97e0df4..8dec83f 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorPlusNotNatural.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | True + True
| ^^^^^^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt
index 679d991..42a9e03 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateLhsNotText.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | 1 ++ ""
| ^^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt
index 85611f7..5a5111d 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorTextConcatenateRhsNotText.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | "" ++ 1
| ^^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt b/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt
index d688ed6..b1619db 100644
--- a/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt
+++ b/dhall/tests/type-inference/failure/unit/OperatorTimesNotNatural.txt
@@ -1,5 +1,5 @@
Type error: error: BinOpTypeMismatch
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | True * True
| ^^^^^^^^^^^ BinOpTypeMismatch
diff --git a/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt
index bfb36ae..10ceba6 100644
--- a/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt
+++ b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxAbsent.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidListType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | [] : Optional Bool
| ^^^^^^^^^^^^^^^^^^ InvalidListType
diff --git a/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt
index 0cc4bba..a589287 100644
--- a/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt
+++ b/dhall/tests/type-inference/failure/unit/OptionalDeprecatedSyntaxPresent.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: List Natural != Optional Natural
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | [ 1 ] : Optional Natural
| ^^^^^ annot mismatch: List Natural != Optional Natural
diff --git a/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt
index 146018f..fa8b153 100644
--- a/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordMixedKinds3.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidFieldType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { x = Type, y = Kind }
| ^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType
diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt
index d624075..ba9d9cd 100644
--- a/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeFieldTypeMismatch.txt
@@ -1,5 +1,5 @@
Type error: error: ProjectionWrongType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { y = {=} }.( {y : Natural} )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ProjectionWrongType
diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt
index c22c2c4..a300842 100644
--- a/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionByTypeNotPresent.txt
@@ -1,5 +1,5 @@
Type error: error: ProjectionMissingEntry
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { y = {=} }.( {x : Natural} )
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ProjectionMissingEntry
diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt
index 5c6520b..05c3eed 100644
--- a/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionDuplicateFields.txt
@@ -1,5 +1,5 @@
Type error: error: ProjectionDuplicateField
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { x = 1 }.{ x, x }
| ^^^^^^^^^^^^^^^^^^ ProjectionDuplicateField
diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt
index 39f263b..6e8908b 100644
--- a/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionEmpty.txt
@@ -1,5 +1,5 @@
Type error: error: ProjectionMissingEntry
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | {=}.{ x }
| ^^^^^^^^^ ProjectionMissingEntry
diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt
index 032f7a0..d209197 100644
--- a/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionNotPresent.txt
@@ -1,5 +1,5 @@
Type error: error: ProjectionMissingEntry
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { y = {=} }.{ x }
| ^^^^^^^^^^^^^^^^^ ProjectionMissingEntry
diff --git a/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt
index 5ed6ffd..4571d07 100644
--- a/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordProjectionNotRecord.txt
@@ -1,5 +1,5 @@
Type error: error: ProjectionMustBeRecord
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | True.{ x }
| ^^^^^^^^^^ ProjectionMustBeRecord
diff --git a/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt
index 5b3b7f8..ec45a13 100644
--- a/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordSelectionEmpty.txt
@@ -1,5 +1,5 @@
Type error: error: MissingRecordField
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | {=}.x
| ^^^^^ MissingRecordField
diff --git a/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt
index d435ca0..6701dd6 100644
--- a/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordSelectionNotPresent.txt
@@ -1,5 +1,5 @@
Type error: error: MissingRecordField
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { y = {=} }.x
| ^^^^^^^^^^^^^ MissingRecordField
diff --git a/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt
index 3f9b7ed..a2eec86 100644
--- a/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordSelectionNotRecord.txt
@@ -1,5 +1,5 @@
Type error: error: NotARecord
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | True.x
| ^^^^^^ NotARecord
diff --git a/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt b/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt
index cca28b8..0eaf58e 100644
--- a/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordSelectionTypeNotUnionType.txt
@@ -1,5 +1,5 @@
Type error: error: NotARecord
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | Bool.x
| ^^^^^^ NotARecord
diff --git a/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt b/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt
index 145a59b..d8bec44 100644
--- a/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordTypeDuplicateFields.txt
@@ -1,5 +1,5 @@
Type error: error: RecordTypeDuplicateField
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { x: Natural, x: Natural }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ RecordTypeDuplicateField
diff --git a/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt b/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt
index 04488ad..81815a2 100644
--- a/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt
+++ b/dhall/tests/type-inference/failure/unit/RecordTypeValueMember.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidFieldType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { x : True }
| ^^^^^^^^^^^^ InvalidFieldType
diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt
index 02cf64f..8daaa9c 100644
--- a/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeLhsNotRecord.txt
@@ -1,5 +1,5 @@
Type error: error: RecordTypeMergeRequiresRecordType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | True ∧ {=}
| ^^^^^^^^^^ RecordTypeMergeRequiresRecordType
diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt
index 202a3e5..ec01f0d 100644
--- a/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeOverlapping.txt
@@ -1,5 +1,5 @@
Type error: error: RecordTypeMergeRequiresRecordType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { x = True } ∧ { x = False }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ RecordTypeMergeRequiresRecordType
diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt
index a0b4676..3e87fde 100644
--- a/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordMergeRhsNotRecord.txt
@@ -1,5 +1,5 @@
Type error: error: RecordTypeMergeRequiresRecordType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | {=} ∧ True
| ^^^^^^^^^^ RecordTypeMergeRequiresRecordType
diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt
index b35e64b..c674a6f 100644
--- a/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt
@@ -1,5 +1,5 @@
Type error: error: RecordTypeMergeRequiresRecordType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | Bool ⩓ {}
| ^^^^^^^^^ RecordTypeMergeRequiresRecordType
diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt
index 769712b..97e175b 100644
--- a/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeOverlapping.txt
@@ -1,5 +1,5 @@
Type error: error: RecordTypeMergeRequiresRecordType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | { x : Bool } ⩓ { x : Natural }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ RecordTypeMergeRequiresRecordType
diff --git a/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt
index 0200f97..a62bab8 100644
--- a/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt
+++ b/dhall/tests/type-inference/failure/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt
@@ -1,5 +1,5 @@
Type error: error: RecordTypeMergeRequiresRecordType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | {} ⩓ Bool
| ^^^^^^^^^ RecordTypeMergeRequiresRecordType
diff --git a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt
index 3b158ce..d693ccb 100644
--- a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeLhsNotRecord.txt
@@ -1,5 +1,5 @@
Type error: error: MustCombineRecord
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | True ⫽ {=}
| ^^^^^^^^^^ MustCombineRecord
diff --git a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt
index 521ae05..146bf7f 100644
--- a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt
+++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidFieldType
- --> <current file>:1:15
+ --> <current file>:1:16
|
1 | { x = Bool } ⫽ { x = Kind }
| ^^^^^^^^^^^^ InvalidFieldType
diff --git a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt
index 3abf62c..71914e1 100644
--- a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt
+++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidFieldType
- --> <current file>:1:14
+ --> <current file>:1:15
|
1 | { x = {=} } ⫽ { x = Kind }
| ^^^^^^^^^^^^ InvalidFieldType
diff --git a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt
index 4f9cb0d..1f3c675 100644
--- a/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt
+++ b/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt
@@ -1,5 +1,5 @@
Type error: error: MustCombineRecord
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | {=} ⫽ True
| ^^^^^^^^^^ MustCombineRecord
diff --git a/dhall/tests/type-inference/failure/unit/SomeNotType.txt b/dhall/tests/type-inference/failure/unit/SomeNotType.txt
index 3584768..147e5b2 100644
--- a/dhall/tests/type-inference/failure/unit/SomeNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/SomeNotType.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidOptionalType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | Some Bool
| ^^^^^^^^^ InvalidOptionalType
diff --git a/dhall/tests/type-inference/failure/unit/Sort.txt b/dhall/tests/type-inference/failure/unit/Sort.txt
index e402127..daae359 100644
--- a/dhall/tests/type-inference/failure/unit/Sort.txt
+++ b/dhall/tests/type-inference/failure/unit/Sort.txt
@@ -1,5 +1,5 @@
Type error: error: Sort does not have a type
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | Sort
| ^^^^ Sort does not have a type
diff --git a/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt b/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt
index 0132a30..213c212 100644
--- a/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt
+++ b/dhall/tests/type-inference/failure/unit/TextLiteralInterpolateNotText.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidTextInterpolation
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | "${1}"
| ^^^^^^ InvalidTextInterpolation
diff --git a/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt b/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt
index c28073e..218ca9e 100644
--- a/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt
+++ b/dhall/tests/type-inference/failure/unit/ToMapEmptyInvalidAnnotation.txt
@@ -1,5 +1,5 @@
Type error: error: The type of `toMap x` must be of the form `List { mapKey : Text, mapValue : T }`
- --> <current file>:2:0
+ --> <current file>:2:1
|
1 | -- The mapKey must be Text
2 | toMap {=} : List { mapKey : Bool, mapValue : Text }
diff --git a/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt b/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt
index 8158c08..403672d 100644
--- a/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt
+++ b/dhall/tests/type-inference/failure/unit/ToMapWrongKind.txt
@@ -1,5 +1,5 @@
Type error: error: `toMap` only accepts records of type `Type`
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | toMap { x = Bool }
| ^^^^^^^^^^^^^^^^^^ `toMap` only accepts records of type `Type`
diff --git a/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt b/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt
index dffadb1..32b58ef 100644
--- a/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt
+++ b/dhall/tests/type-inference/failure/unit/TypeAnnotationWrong.txt
@@ -1,5 +1,5 @@
Type error: error: annot mismatch: Natural != Bool
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | 1 : Bool
| ^ annot mismatch: Natural != Bool
diff --git a/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt b/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt
index 41d283d..562e03c 100644
--- a/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionConstructorFieldNotPresent.txt
@@ -1,5 +1,5 @@
Type error: error: MissingUnionField
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | < x : Bool >.y
| ^^^^^^^^^^^^^^ MissingUnionField
diff --git a/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt b/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt
index 91fb96d..2ecb0a9 100644
--- a/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionDeprecatedConstructorsKeyword.txt
@@ -1,5 +1,5 @@
Type error: error: unbound variable `constructors`
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | constructors < Left : Natural | Right : Bool >
| ^^^^^^^^^^^^ not found in this scope
diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt
index 7372641..84bfe4d 100644
--- a/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants1.txt
@@ -1,5 +1,5 @@
Type error: error: UnionTypeDuplicateField
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | <x | x>
| ^^^^^^^ UnionTypeDuplicateField
diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt
index 07042c2..eb20b12 100644
--- a/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeDuplicateVariants2.txt
@@ -1,5 +1,5 @@
Type error: error: UnionTypeDuplicateField
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | <x | x: Natural>
| ^^^^^^^^^^^^^^^^ UnionTypeDuplicateField
diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt
index 00e24b3..44ce7a3 100644
--- a/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidFieldType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | < x : Bool | y : Type >
| ^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType
diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt
index 924b1e1..01f706d 100644
--- a/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds2.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidFieldType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | < x : Kind | y : Type >
| ^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType
diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt
index 1113a0d..496462d 100644
--- a/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeMixedKinds3.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidFieldType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | < x : Kind | y : Bool >
| ^^^^^^^^^^^^^^^^^^^^^^^ InvalidFieldType
diff --git a/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt b/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt
index b2c06e0..450a3dd 100644
--- a/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt
+++ b/dhall/tests/type-inference/failure/unit/UnionTypeNotType.txt
@@ -1,5 +1,5 @@
Type error: error: InvalidFieldType
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | < x : True >
| ^^^^^^^^^^^^ InvalidFieldType
diff --git a/dhall/tests/type-inference/failure/unit/VariableFree.txt b/dhall/tests/type-inference/failure/unit/VariableFree.txt
index db78e15..bd033e0 100644
--- a/dhall/tests/type-inference/failure/unit/VariableFree.txt
+++ b/dhall/tests/type-inference/failure/unit/VariableFree.txt
@@ -1,5 +1,5 @@
Type error: error: unbound variable `x`
- --> <current file>:1:0
+ --> <current file>:1:1
|
1 | x
| ^ not found in this scope
diff --git a/dhall/tests/type-inference/failure/unit/WithUnderscore.txt b/dhall/tests/type-inference/failure/unit/WithUnderscore.txt
index 77b0777..468450f 100644
--- a/dhall/tests/type-inference/failure/unit/WithUnderscore.txt
+++ b/dhall/tests/type-inference/failure/unit/WithUnderscore.txt
@@ -1,5 +1,5 @@
Type error: error: unbound variable ``_``
- --> <current file>:1:23
+ --> <current file>:1:24
|
...
5 | { a.b = 1 } with a.c = _