diff options
Diffstat (limited to 'testdata/language-features/guard')
-rw-r--r-- | testdata/language-features/guard/guard11.out | 2 | ||||
-rw-r--r-- | testdata/language-features/guard/guard13.out | 2 | ||||
-rw-r--r-- | testdata/language-features/guard/guard16.out | 2 |
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 | |||
3 | fun :: [32m'Bool->'String[39m[K | 3 | fun :: [32m'Bool->'String[39m[K |
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/guard/guard11.lc 1:1-1:4 Bool->String | 5 | testdata/language-features/guard/guard11.lc 1:1-1:4 Bool->String |
6 | testdata/language-features/guard/guard11.lc 2:5-2:6 V1 | 6 | testdata/language-features/guard/guard11.lc 2:5-2:6 b_ |
7 | testdata/language-features/guard/guard11.lc 2:5-3:24 String | 7 | testdata/language-features/guard/guard11.lc 2:5-3:24 String |
8 | testdata/language-features/guard/guard11.lc 2:9-2:15 String | 8 | testdata/language-features/guard/guard11.lc 2:9-2:15 String |
9 | testdata/language-features/guard/guard11.lc 2:9-3:24 Bool->String | 9 | testdata/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 | |||
3 | fun :: [32m'Bool->()[39m[K | 3 | fun :: [32m'Bool->()[39m[K |
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/guard/guard13.lc 1:1-1:4 Bool->() | 5 | testdata/language-features/guard/guard13.lc 1:1-1:4 Bool->() |
6 | testdata/language-features/guard/guard13.lc 1:7-1:8 V1 | 6 | testdata/language-features/guard/guard13.lc 1:7-1:8 b_ |
7 | testdata/language-features/guard/guard13.lc 1:7-1:24 () | 7 | testdata/language-features/guard/guard13.lc 1:7-1:24 () |
8 | testdata/language-features/guard/guard13.lc 1:9-1:11 () | 8 | testdata/language-features/guard/guard13.lc 1:9-1:11 () |
9 | testdata/language-features/guard/guard13.lc 1:9-1:24 Bool->() | 9 | testdata/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 :: [32m{a} -> {_ : 'Eq a} -> {_ : 'Num a}->()[39m[K | |||
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a}->() | 5 | testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a}->() |
6 | testdata/language-features/guard/guard16.lc 1:9-3:10 () | 6 | testdata/language-features/guard/guard16.lc 1:9-3:10 () |
7 | testdata/language-features/guard/guard16.lc 1:14-1:15 V1 | 7 | testdata/language-features/guard/guard16.lc 1:14-1:15 b_ |
8 | testdata/language-features/guard/guard16.lc 2:7-2:11 Bool | 8 | testdata/language-features/guard/guard16.lc 2:7-2:11 Bool |
9 | testdata/language-features/guard/guard16.lc 2:7-3:10 () | 9 | testdata/language-features/guard/guard16.lc 2:7-3:10 () |
10 | testdata/language-features/guard/guard16.lc 2:15-2:17 () | 10 | testdata/language-features/guard/guard16.lc 2:15-2:17 () |