summaryrefslogtreecommitdiff
path: root/testdata/language-features/guard
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/guard')
-rw-r--r--testdata/language-features/guard/guard11.out2
-rw-r--r--testdata/language-features/guard/guard13.out2
-rw-r--r--testdata/language-features/guard/guard16.out2
3 files changed, 3 insertions, 3 deletions
diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out
index ccfb6079..8c5ea30b 100644
--- a/testdata/language-features/guard/guard11.out
+++ b/testdata/language-features/guard/guard11.out
@@ -3,7 +3,7 @@ main is not found
3fun :: 'Bool->'String 3fun :: 'Bool->'String
4------------ tooltips 4------------ tooltips
5testdata/language-features/guard/guard11.lc 1:1-1:4 Bool->String 5testdata/language-features/guard/guard11.lc 1:1-1:4 Bool->String
6testdata/language-features/guard/guard11.lc 2:5-2:6 V1 6testdata/language-features/guard/guard11.lc 2:5-2:6 b_
7testdata/language-features/guard/guard11.lc 2:5-3:24 String 7testdata/language-features/guard/guard11.lc 2:5-3:24 String
8testdata/language-features/guard/guard11.lc 2:9-2:15 String 8testdata/language-features/guard/guard11.lc 2:9-2:15 String
9testdata/language-features/guard/guard11.lc 2:9-3:24 Bool->String 9testdata/language-features/guard/guard11.lc 2:9-3:24 Bool->String
diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out
index 57230369..dc689b1e 100644
--- a/testdata/language-features/guard/guard13.out
+++ b/testdata/language-features/guard/guard13.out
@@ -3,7 +3,7 @@ main is not found
3fun :: 'Bool->() 3fun :: 'Bool->()
4------------ tooltips 4------------ tooltips
5testdata/language-features/guard/guard13.lc 1:1-1:4 Bool->() 5testdata/language-features/guard/guard13.lc 1:1-1:4 Bool->()
6testdata/language-features/guard/guard13.lc 1:7-1:8 V1 6testdata/language-features/guard/guard13.lc 1:7-1:8 b_
7testdata/language-features/guard/guard13.lc 1:7-1:24 () 7testdata/language-features/guard/guard13.lc 1:7-1:24 ()
8testdata/language-features/guard/guard13.lc 1:9-1:11 () 8testdata/language-features/guard/guard13.lc 1:9-1:11 ()
9testdata/language-features/guard/guard13.lc 1:9-1:24 Bool->() 9testdata/language-features/guard/guard13.lc 1:9-1:24 Bool->()
diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out
index a8f7f183..e1e6fd18 100644
--- a/testdata/language-features/guard/guard16.out
+++ b/testdata/language-features/guard/guard16.out
@@ -4,7 +4,7 @@ value :: {a} -> {_ : 'Eq a} -> {_ : 'Num a}->()
4------------ tooltips 4------------ tooltips
5testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a}->() 5testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a}->()
6testdata/language-features/guard/guard16.lc 1:9-3:10 () 6testdata/language-features/guard/guard16.lc 1:9-3:10 ()
7testdata/language-features/guard/guard16.lc 1:14-1:15 V1 7testdata/language-features/guard/guard16.lc 1:14-1:15 b_
8testdata/language-features/guard/guard16.lc 2:7-2:11 Bool 8testdata/language-features/guard/guard16.lc 2:7-2:11 Bool
9testdata/language-features/guard/guard16.lc 2:7-3:10 () 9testdata/language-features/guard/guard16.lc 2:7-3:10 ()
10testdata/language-features/guard/guard16.lc 2:15-2:17 () 10testdata/language-features/guard/guard16.lc 2:15-2:17 ()