diff options
Diffstat (limited to 'testdata/loopIssue.out')
-rw-r--r-- | testdata/loopIssue.out | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/testdata/loopIssue.out b/testdata/loopIssue.out index fad12512..e81dbe9c 100644 --- a/testdata/loopIssue.out +++ b/testdata/loopIssue.out | |||
@@ -1,5 +1,12 @@ | |||
1 | main is not found | 1 | main is not found |
2 | tooltips: | 2 | tooltips: |
3 | testdata/loopIssue.lc 4:6-4:9 Type | 3 | testdata/loopIssue.lc 5:6-5:9 Type |
4 | testdata/loopIssue.lc 4:16-4:19 Type | 4 | testdata/loopIssue.lc 5:16-5:19 Type |
5 | testdata/loopIssue.lc 4:12-4:15 'Inf->'Inf | 5 | testdata/loopIssue.lc 5:12-5:15 'Inf->'Inf |
6 | testdata/loopIssue.lc 9:1-9:4 {a} -> a->a -> a | ||
7 | testdata/loopIssue.lc 9:7-9:10 V0->V1 | ||
8 | testdata/loopIssue.lc 9:7-9:10 V1 | ||
9 | testdata/loopIssue.lc 9:7-9:10 'Inf->'Inf | ||
10 | testdata/loopIssue.lc 9:1-9:4 'Inf | ||
11 | testdata/loopIssue.lc 11:5-11:6 'Int | ||
12 | testdata/loopIssue.lc 11:1-11:2 {a} -> {b : 'Num a}->a | ||