summaryrefslogtreecommitdiff
path: root/testdata/primes.out
diff options
context:
space:
mode:
authorCsaba Hruska <csaba.hruska@gmail.com>2016-01-19 15:59:35 +0100
committerCsaba Hruska <csaba.hruska@gmail.com>2016-01-19 16:10:49 +0100
commitcb69693769ebfcdac605c90f38a20c788b08eaf3 (patch)
tree3689094c7ff13f45cc928a7dfaafff2652ed4c03 /testdata/primes.out
parentd5f3ef4a65218b966f7463511896fd901a4d1d77 (diff)
normalise paths and fix self export handling
Diffstat (limited to 'testdata/primes.out')
-rw-r--r--testdata/primes.out118
1 files changed, 118 insertions, 0 deletions
diff --git a/testdata/primes.out b/testdata/primes.out
new file mode 100644
index 00000000..e37ac5de
--- /dev/null
+++ b/testdata/primes.out
@@ -0,0 +1,118 @@
1main is not found
2tooltips:
3./testdata/accept/primes.lc 4:6-4:10 Type->Type
4./testdata/accept/primes.lc 4:6-4:10 Type
5./testdata/accept/primes.lc 4:15-4:18 {a} -> 'List a
6./testdata/accept/primes.lc 4:6-4:35 Type
7./testdata/accept/primes.lc 4:26-4:27 Type
8./testdata/accept/primes.lc 4:29-4:33 Type->Type
9./testdata/accept/primes.lc 4:34-4:35 Type
10./testdata/accept/primes.lc 4:21-4:25 {a} -> a -> 'List a -> 'List a
11./testdata/accept/primes.lc 10:3-10:4 {a} -> {b} -> a->b -> a->b
12./testdata/accept/primes.lc 12:1-12:3 {a} -> a->a
13./testdata/accept/primes.lc 14:11-14:13 {a} -> a->a
14./testdata/accept/primes.lc 14:1-14:8 {a} -> a->a
15./testdata/accept/primes.lc 16:1-16:6 {a} -> a->a -> a
16./testdata/accept/primes.lc 16:1-16:6 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
17./testdata/accept/primes.lc 24:12-24:17 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
18./testdata/accept/primes.lc 24:19-24:53 V0 -> V2->V3
19./testdata/accept/primes.lc 24:19-24:53 V2->V3
20./testdata/accept/primes.lc 24:28-24:53 V3
21./testdata/accept/primes.lc 24:28-24:53 {a} -> 'Bool -> a -> a->a
22./testdata/accept/primes.lc 24:33-24:34 'Bool
23./testdata/accept/primes.lc 24:33-24:34 V6
24./testdata/accept/primes.lc 24:40-24:45 V0
25./testdata/accept/primes.lc 24:40-24:41 V0
26./testdata/accept/primes.lc 24:40-24:41 V4
27./testdata/accept/primes.lc 24:43-24:45 'List V2
28./testdata/accept/primes.lc 24:43-24:45 V3
29./testdata/accept/primes.lc 24:51-24:53 'List V2
30./testdata/accept/primes.lc 24:1-24:7 {a} -> a->'Bool -> 'List a -> 'List a
31./testdata/accept/primes.lc 27:14-27:19 V0
32./testdata/accept/primes.lc 27:14-27:19 'Bool
33./testdata/accept/primes.lc 26:1-26:5 'Bool
34./testdata/accept/primes.lc 26:1-26:5 V2
35./testdata/accept/primes.lc 26:6-26:8 'Bool -> 'Bool->'Bool
36./testdata/accept/primes.lc 29:7-29:12 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
37./testdata/accept/primes.lc 29:13-29:17 V0 -> V2->V3
38./testdata/accept/primes.lc 29:13-29:17 'Bool -> 'Bool->'Bool
39./testdata/accept/primes.lc 29:18-29:22 'Bool
40./testdata/accept/primes.lc 29:1-29:4 'List 'Bool -> 'Bool
41./testdata/accept/primes.lc 31:9-31:14 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
42./testdata/accept/primes.lc 31:16-31:32 V0 -> V2->V3
43./testdata/accept/primes.lc 31:16-31:32 V2->V3
44./testdata/accept/primes.lc 31:27-31:32 V3
45./testdata/accept/primes.lc 31:27-31:28 V0
46./testdata/accept/primes.lc 31:27-31:28 V6
47./testdata/accept/primes.lc 31:30-31:32 'List V0
48./testdata/accept/primes.lc 31:1-31:4 {a} -> {b} -> a->b -> 'List a -> 'List b
49./testdata/accept/primes.lc 33:7-33:17 'Int -> 'Int->'Int
50./testdata/accept/primes.lc 33:1-33:4 'Int -> 'Int->'Int
51./testdata/accept/primes.lc 34:11-34:20 'Float->'Int
52./testdata/accept/primes.lc 34:22-34:51 'Float
53./testdata/accept/primes.lc 34:22-34:35 'Float->'Float
54./testdata/accept/primes.lc 34:37-34:51 'Float
55./testdata/accept/primes.lc 34:37-34:51 'Int->'Float
56./testdata/accept/primes.lc 34:1-34:6 'Int->'Int
57./testdata/accept/primes.lc 35:7-35:17 'Int -> 'Int->'Int
58./testdata/accept/primes.lc 35:1-35:4 'Int -> 'Int->'Int
59./testdata/accept/primes.lc 36:7-36:17 'Int -> 'Int->'Int
60./testdata/accept/primes.lc 36:1-36:4 'Int -> 'Int->'Int
61./testdata/accept/primes.lc 40:10-40:15 V0
62./testdata/accept/primes.lc 40:10-40:15 'Bool
63./testdata/accept/primes.lc 39:11-39:15 'Bool
64./testdata/accept/primes.lc 39:5-39:7 'Ordering
65./testdata/accept/primes.lc 39:5-39:7 V1
66./testdata/accept/primes.lc 38:15-38:29 'Ordering
67./testdata/accept/primes.lc 38:15-38:29 'Int -> 'Int->'Ordering
68./testdata/accept/primes.lc 38:3-38:5 'Int -> 'Int->'Bool
69./testdata/accept/primes.lc 44:10-44:14 V0
70./testdata/accept/primes.lc 44:10-44:14 'Bool
71./testdata/accept/primes.lc 43:11-43:16 'Bool
72./testdata/accept/primes.lc 43:5-43:7 'Ordering
73./testdata/accept/primes.lc 43:5-43:7 V1
74./testdata/accept/primes.lc 42:15-42:29 'Ordering
75./testdata/accept/primes.lc 42:15-42:29 'Int -> 'Int->'Ordering
76./testdata/accept/primes.lc 42:3-42:5 'Int -> 'Int->'Bool
77./testdata/accept/primes.lc 46:13-46:17 V0
78./testdata/accept/primes.lc 46:13-46:17 'Bool
79./testdata/accept/primes.lc 47:12-47:17 'Bool
80./testdata/accept/primes.lc 46:5-46:10 'Bool
81./testdata/accept/primes.lc 46:5-46:10 V1
82./testdata/accept/primes.lc 46:1-46:4 'Bool->'Bool
83./testdata/accept/primes.lc 51:10-51:13 V1->V1
84./testdata/accept/primes.lc 51:10-51:13 'Bool->'Bool
85./testdata/accept/primes.lc 51:3-51:5 'Int -> 'Int->'Bool
86./testdata/accept/primes.lc 53:1-53:10 {a} -> a->a -> a
87./testdata/accept/primes.lc 53:14-53:26 V0->V1
88./testdata/accept/primes.lc 53:14-53:26 V1
89./testdata/accept/primes.lc 53:23-53:26 V1 -> 'List V2 -> 'List V2
90./testdata/accept/primes.lc 53:23-53:26 'List V2 -> 'List V2
91./testdata/accept/primes.lc 53:23-53:26 'List V2
92./testdata/accept/primes.lc 53:23-53:26 'Bool
93./testdata/accept/primes.lc 53:23-53:24 V6
94./testdata/accept/primes.lc 53:25-53:26 V5
95./testdata/accept/primes.lc 53:14-53:19 'List V0
96./testdata/accept/primes.lc 53:14-53:19 V2
97./testdata/accept/primes.lc 53:1-53:10 {a} -> a->'Bool -> 'List a -> 'List a
98./testdata/accept/primes.lc 56:1-56:5 {a} -> a->a -> a
99./testdata/accept/primes.lc 56:23-56:24 V0->V1
100./testdata/accept/primes.lc 56:23-56:24 V1
101./testdata/accept/primes.lc 56:23-56:24 'List V1
102./testdata/accept/primes.lc 56:23-56:24 'Int
103./testdata/accept/primes.lc 56:23-56:24 V0
104./testdata/accept/primes.lc 56:1-56:5 'Int -> 'List 'Int
105./testdata/accept/primes.lc 61:8-61:10 {a} -> a->a -> a
106./testdata/accept/primes.lc 61:2-62:27 V0->V1
107./testdata/accept/primes.lc 61:2-62:27 V1
108./testdata/accept/primes.lc 61:11-62:27 V1 -> 'List V2 -> V2
109./testdata/accept/primes.lc 61:11-62:27 'List V2 -> V2
110./testdata/accept/primes.lc 61:11-62:27 V2
111./testdata/accept/primes.lc 62:26-62:27 V0
112./testdata/accept/primes.lc 62:26-62:27 'Int
113./testdata/accept/primes.lc 62:26-62:27 V3
114./testdata/accept/primes.lc 61:11-61:12 'Ordering
115./testdata/accept/primes.lc 61:11-61:12 'Int
116./testdata/accept/primes.lc 61:2-61:6 'List V0
117./testdata/accept/primes.lc 61:2-61:6 V3
118./testdata/accept/primes.lc 61:8-61:10 {a} -> 'List a -> 'Int->a
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:25:03 +0000