summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt
diff options
context:
space:
mode:
authorNadrieril2020-03-31 19:56:02 +0100
committerNadrieril2020-03-31 19:56:02 +0100
commit6d091c29cd160ffddf870929bfb3e601fa01031a (patch)
tree031f031937718ac9c1ea8d02df37ea32ab4a75cb /dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt
parenteecd41fe5dd155752aaaa06af02bc32f8a416ba5 (diff)
Upgrade annotate-snippets version
Diffstat (limited to 'dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt')
-rw-r--r--dhall/tests/type-inference/failure/unit/CompletionWithWrongOverridenType.txt2
1 files changed, 1 insertions, 1 deletions
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 }