summaryrefslogtreecommitdiff
path: root/testdata/Internals.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/Internals.out')
-rw-r--r--testdata/Internals.out20
1 files changed, 20 insertions, 0 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out
index 06279002..d879bffd 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -11,22 +11,31 @@ testdata/Internals.lc 7:45-7:46 Type
11testdata/Internals.lc 7:1-7:8 {a} -> a->a -> a 11testdata/Internals.lc 7:1-7:8 {a} -> a->a -> a
12testdata/Internals.lc 9:6-9:10 Type 12testdata/Internals.lc 9:6-9:10 Type
13testdata/Internals.lc 9:13-9:15 'Unit 13testdata/Internals.lc 9:13-9:15 'Unit
14testdata/Internals.lc 9:6-9:15 Type
14testdata/Internals.lc 10:6-10:12 Type 15testdata/Internals.lc 10:6-10:12 Type
15testdata/Internals.lc 11:18-11:24 Type 16testdata/Internals.lc 11:18-11:24 Type
16testdata/Internals.lc 11:6-11:11 'String->Type 17testdata/Internals.lc 11:6-11:11 'String->Type
18testdata/Internals.lc 11:6-11:11 Type
17testdata/Internals.lc 14:6-14:12 Type 19testdata/Internals.lc 14:6-14:12 Type
18testdata/Internals.lc 14:15-14:21 'Tuple0 20testdata/Internals.lc 14:15-14:21 'Tuple0
21testdata/Internals.lc 14:6-14:21 Type
19testdata/Internals.lc 15:6-15:12 Type->Type 22testdata/Internals.lc 15:6-15:12 Type->Type
20testdata/Internals.lc 15:6-15:25 Type 23testdata/Internals.lc 15:6-15:25 Type
21testdata/Internals.lc 15:24-15:25 Type 24testdata/Internals.lc 15:24-15:25 Type
22testdata/Internals.lc 15:6-15:12 Type 25testdata/Internals.lc 15:6-15:12 Type
23testdata/Internals.lc 15:17-15:23 {a} -> a -> 'Tuple1 a 26testdata/Internals.lc 15:17-15:23 {a} -> a -> 'Tuple1 a
27testdata/Internals.lc 15:6-15:23 Type
28testdata/Internals.lc 15:17-15:23 Type
29testdata/Internals.lc 15:17-15:23 'Tuple1 V2
24testdata/Internals.lc 16:6-16:12 Type -> Type->Type 30testdata/Internals.lc 16:6-16:12 Type -> Type->Type
25testdata/Internals.lc 16:6-16:29 Type 31testdata/Internals.lc 16:6-16:29 Type
26testdata/Internals.lc 16:26-16:27 Type 32testdata/Internals.lc 16:26-16:27 Type
27testdata/Internals.lc 16:28-16:29 Type 33testdata/Internals.lc 16:28-16:29 Type
28testdata/Internals.lc 16:6-16:12 Type 34testdata/Internals.lc 16:6-16:12 Type
29testdata/Internals.lc 16:19-16:25 {a} -> {b} -> a -> b -> 'Tuple2 a b 35testdata/Internals.lc 16:19-16:25 {a} -> {b} -> a -> b -> 'Tuple2 a b
36testdata/Internals.lc 16:6-16:25 Type
37testdata/Internals.lc 16:19-16:25 Type
38testdata/Internals.lc 16:19-16:25 'Tuple2 V4 V3
30testdata/Internals.lc 17:6-17:12 Type -> Type -> Type->Type 39testdata/Internals.lc 17:6-17:12 Type -> Type -> Type->Type
31testdata/Internals.lc 17:6-17:33 Type 40testdata/Internals.lc 17:6-17:33 Type
32testdata/Internals.lc 17:28-17:29 Type 41testdata/Internals.lc 17:28-17:29 Type
@@ -34,6 +43,9 @@ testdata/Internals.lc 17:30-17:31 Type
34testdata/Internals.lc 17:32-17:33 Type 43testdata/Internals.lc 17:32-17:33 Type
35testdata/Internals.lc 17:6-17:12 Type 44testdata/Internals.lc 17:6-17:12 Type
36testdata/Internals.lc 17:21-17:27 {a} -> {b} -> {c} -> a -> b -> c -> 'Tuple3 a b c 45testdata/Internals.lc 17:21-17:27 {a} -> {b} -> {c} -> a -> b -> c -> 'Tuple3 a b c
46testdata/Internals.lc 17:6-17:27 Type
47testdata/Internals.lc 17:21-17:27 Type
48testdata/Internals.lc 17:21-17:27 'Tuple3 V6 V5 V4
37testdata/Internals.lc 18:6-18:12 Type -> Type -> Type -> Type->Type 49testdata/Internals.lc 18:6-18:12 Type -> Type -> Type -> Type->Type
38testdata/Internals.lc 18:6-18:37 Type 50testdata/Internals.lc 18:6-18:37 Type
39testdata/Internals.lc 18:30-18:31 Type 51testdata/Internals.lc 18:30-18:31 Type
@@ -42,6 +54,9 @@ testdata/Internals.lc 18:34-18:35 Type
42testdata/Internals.lc 18:36-18:37 Type 54testdata/Internals.lc 18:36-18:37 Type
43testdata/Internals.lc 18:6-18:12 Type 55testdata/Internals.lc 18:6-18:12 Type
44testdata/Internals.lc 18:23-18:29 {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d -> 'Tuple4 a b c d 56testdata/Internals.lc 18:23-18:29 {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d -> 'Tuple4 a b c d
57testdata/Internals.lc 18:6-18:29 Type
58testdata/Internals.lc 18:23-18:29 Type
59testdata/Internals.lc 18:23-18:29 'Tuple4 V8 V7 V6 V5
45testdata/Internals.lc 19:6-19:12 Type -> Type -> Type -> Type -> Type->Type 60testdata/Internals.lc 19:6-19:12 Type -> Type -> Type -> Type -> Type->Type
46testdata/Internals.lc 19:6-19:41 Type 61testdata/Internals.lc 19:6-19:41 Type
47testdata/Internals.lc 19:32-19:33 Type 62testdata/Internals.lc 19:32-19:33 Type
@@ -51,6 +66,9 @@ testdata/Internals.lc 19:38-19:39 Type
51testdata/Internals.lc 19:40-19:41 Type 66testdata/Internals.lc 19:40-19:41 Type
52testdata/Internals.lc 19:6-19:12 Type 67testdata/Internals.lc 19:6-19:12 Type
53testdata/Internals.lc 19:25-19:31 {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e -> 'Tuple5 a b c d e 68testdata/Internals.lc 19:25-19:31 {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e -> 'Tuple5 a b c d e
69testdata/Internals.lc 19:6-19:31 Type
70testdata/Internals.lc 19:25-19:31 Type
71testdata/Internals.lc 19:25-19:31 'Tuple5 V10 V9 V8 V7 V6
54testdata/Internals.lc 25:24-25:35 Type 72testdata/Internals.lc 25:24-25:35 Type
55testdata/Internals.lc 25:24-25:25 V1 73testdata/Internals.lc 25:24-25:25 V1
56testdata/Internals.lc 25:29-25:35 Type 74testdata/Internals.lc 25:29-25:35 Type
@@ -75,10 +93,12 @@ testdata/Internals.lc 37:6-37:10 Type
75testdata/Internals.lc 39:6-39:10 Type 93testdata/Internals.lc 39:6-39:10 Type
76testdata/Internals.lc 39:13-39:18 'Bool 94testdata/Internals.lc 39:13-39:18 'Bool
77testdata/Internals.lc 39:21-39:25 'Bool 95testdata/Internals.lc 39:21-39:25 'Bool
96testdata/Internals.lc 39:6-39:25 Type
78testdata/Internals.lc 41:6-41:14 Type 97testdata/Internals.lc 41:6-41:14 Type
79testdata/Internals.lc 41:17-41:19 'Ordering 98testdata/Internals.lc 41:17-41:19 'Ordering
80testdata/Internals.lc 41:22-41:24 'Ordering 99testdata/Internals.lc 41:22-41:24 'Ordering
81testdata/Internals.lc 41:27-41:29 'Ordering 100testdata/Internals.lc 41:27-41:29 'Ordering
101testdata/Internals.lc 41:6-41:29 Type
82testdata/Internals.lc 44:24-44:27 Type 102testdata/Internals.lc 44:24-44:27 Type
83testdata/Internals.lc 44:33-44:37 Type 103testdata/Internals.lc 44:33-44:37 Type
84testdata/Internals.lc 44:1-44:14 'Int->'Word 104testdata/Internals.lc 44:1-44:14 'Int->'Word
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 18:11:07 +0000