summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/tests')
-rw-r--r--dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt4
-rw-r--r--dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt4
2 files changed, 4 insertions, 4 deletions
diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt b/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt
index 16931a8..3a12c06 100644
--- a/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt
+++ b/dhall/tests/type-errors/unit/MergeHandlerNotFunction.txt
@@ -3,7 +3,7 @@ Type error: Unhandled error: error: Handler is not a function
|
1 | merge { x = True } (< x : Bool >.x True)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression
- | ^^^^^^^^ the handler `x` had type: `Bool`
- | ----------------- help: the corresponding variant has type: `Bool`
+ | ^^^^^^^^^^^^ the handler `x` had type: `Bool`
+ | ------------------- help: the corresponding variant has type: `Bool`
|
= help: a handler for this variant must be a function that takes an input of type: `Bool`
diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt b/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt
index 1762a7c..2afbc78 100644
--- a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt
+++ b/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt
@@ -3,7 +3,7 @@ Type error: Unhandled error: error: Wrong handler input type
|
1 | merge { x = λ(_ : Bool) → _ } (< x : Natural >.x 1)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ in this merge expression
- | ^^^^^^^^^^^^^^^^^^^ the handler `x` expects a value of type: `Bool`
- | ^^^^^^^^^^^^^^^^^ but the corresponding variant has type: `Natural`
+ | ^^^^^^^^^^^^^^^^^^^^^^^ the handler `x` expects a value of type: `Bool`
+ | ^^^^^^^^^^^^^^^^^^^ but the corresponding variant has type: `Natural`
|
= help: only functions can be applied to