diff options
Diffstat (limited to 'testdata/language-features/guard/guard16.out')
-rw-r--r-- | testdata/language-features/guard/guard16.out | 2 |
1 files changed, 1 insertions, 1 deletions
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 () |