summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-list/list02.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/basic-list/list02.out')
-rw-r--r--testdata/language-features/basic-list/list02.out16
1 files changed, 8 insertions, 8 deletions
diff --git a/testdata/language-features/basic-list/list02.out b/testdata/language-features/basic-list/list02.out
index f68479b2..ac945c2d 100644
--- a/testdata/language-features/basic-list/list02.out
+++ b/testdata/language-features/basic-list/list02.out
@@ -1,26 +1,26 @@
1main is not found 1main is not found
2tooltips: 2tooltips:
3testdata/language-features/basic-list/list02.lc 1:10-2:4 {a} -> 'List a
3testdata/language-features/basic-list/list02.lc 4:11-4:12 V0 4testdata/language-features/basic-list/list02.lc 4:11-4:12 V0
4testdata/language-features/basic-list/list02.lc 4:11-4:12 'Int 5testdata/language-features/basic-list/list02.lc 4:13-5:6 'List V1
5testdata/language-features/basic-list/list02.lc 4:10-5:7 'List V1
6testdata/language-features/basic-list/list02.lc 4:13-4:14 V0 6testdata/language-features/basic-list/list02.lc 4:13-4:14 V0
7testdata/language-features/basic-list/list02.lc 4:13-4:14 'Int 7testdata/language-features/basic-list/list02.lc 5:3-5:6 'List V2
8testdata/language-features/basic-list/list02.lc 4:10-5:7 'List V2
9testdata/language-features/basic-list/list02.lc 5:3-5:4 V0 8testdata/language-features/basic-list/list02.lc 5:3-5:4 V0
10testdata/language-features/basic-list/list02.lc 5:3-5:4 'Int 9testdata/language-features/basic-list/list02.lc 5:5-5:6 'List V3
11testdata/language-features/basic-list/list02.lc 4:10-5:7 'List V3
12testdata/language-features/basic-list/list02.lc 5:5-5:6 V0 10testdata/language-features/basic-list/list02.lc 5:5-5:6 V0
13testdata/language-features/basic-list/list02.lc 5:5-5:6 'Int
14testdata/language-features/basic-list/list02.lc 4:1-4:7 {a} -> {b : 'Num a} -> 'List a 11testdata/language-features/basic-list/list02.lc 4:1-4:7 {a} -> {b : 'Num a} -> 'List a
15testdata/language-features/basic-list/list02.lc 8:5-8:8 V0 12testdata/language-features/basic-list/list02.lc 8:5-8:8 V0
16testdata/language-features/basic-list/list02.lc 8:5-8:8 'Char 13testdata/language-features/basic-list/list02.lc 8:5-8:8 'Char
17testdata/language-features/basic-list/list02.lc 8:3-13:4 'List 'Char 14testdata/language-features/basic-list/list02.lc 9:5-12:8 'List 'Char
18testdata/language-features/basic-list/list02.lc 9:5-9:8 V0 15testdata/language-features/basic-list/list02.lc 9:5-9:8 V0
19testdata/language-features/basic-list/list02.lc 9:5-9:8 'Char 16testdata/language-features/basic-list/list02.lc 9:5-9:8 'Char
17testdata/language-features/basic-list/list02.lc 10:5-12:8 'List 'Char
20testdata/language-features/basic-list/list02.lc 10:5-10:8 V0 18testdata/language-features/basic-list/list02.lc 10:5-10:8 V0
21testdata/language-features/basic-list/list02.lc 10:5-10:8 'Char 19testdata/language-features/basic-list/list02.lc 10:5-10:8 'Char
20testdata/language-features/basic-list/list02.lc 11:5-12:8 'List 'Char
22testdata/language-features/basic-list/list02.lc 11:5-11:8 V0 21testdata/language-features/basic-list/list02.lc 11:5-11:8 V0
23testdata/language-features/basic-list/list02.lc 11:5-11:8 'Char 22testdata/language-features/basic-list/list02.lc 11:5-11:8 'Char
23testdata/language-features/basic-list/list02.lc 12:5-12:8 'List 'Char
24testdata/language-features/basic-list/list02.lc 12:5-12:8 V0 24testdata/language-features/basic-list/list02.lc 12:5-12:8 V0
25testdata/language-features/basic-list/list02.lc 12:5-12:8 'Char 25testdata/language-features/basic-list/list02.lc 12:5-12:8 'Char
26testdata/language-features/basic-list/list02.lc 7:1-7:7 'List 'Char 26testdata/language-features/basic-list/list02.lc 7:1-7:7 'List 'Char