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 1912e426..92a1d76f 100644 --- a/testdata/language-features/guard/guard16.out +++ b/testdata/language-features/guard/guard16.out | |||
@@ -1,5 +1,5 @@ | |||
1 | main is not found | 1 | main is not found |
2 | tooltips: | 2 | ------------ tooltips |
3 | testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {b : Eq a} -> {c : Num a}->Tuple0 | 3 | testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {b : Eq a} -> {c : Num a}->Tuple0 |
4 | testdata/language-features/guard/guard16.lc 1:9-3:10 Tuple0 | 4 | testdata/language-features/guard/guard16.lc 1:9-3:10 Tuple0 |
5 | testdata/language-features/guard/guard16.lc 1:14-1:15 V1 | 5 | testdata/language-features/guard/guard16.lc 1:14-1:15 V1 |