diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-05 07:55:51 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-05 07:55:51 +0100 |
| commit | 61f4faea1d61a0e80a77839bf467899a4845bc54 (patch) | |
| tree | 75e2ddc4ff0bc18b66f1c5cf36d050b77ee61709 /testdata/data.out | |
| parent | e792c87dce446714d4fef938f0b6479ccb4ba1d9 (diff) | |
support ADT records with repeated field name
Diffstat (limited to 'testdata/data.out')
| -rw-r--r-- | testdata/data.out | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/testdata/data.out b/testdata/data.out new file mode 100644 index 00000000..a98cab9a --- /dev/null +++ b/testdata/data.out | |||
| @@ -0,0 +1,45 @@ | |||
| 1 | main is not found | ||
| 2 | tooltips: | ||
| 3 | testdata/data.lc 1:6-1:11 Type | ||
| 4 | testdata/data.lc 1:6-1:19 Type | ||
| 5 | testdata/data.lc 1:14-1:19 Data0 | ||
| 6 | testdata/data.lc 3:6-3:11 Type | Type -> Type -> Type->Type | ||
| 7 | testdata/data.lc 3:6-3:25 Type | ||
| 8 | testdata/data.lc 3:6-3:31 Type | ||
| 9 | testdata/data.lc 3:20-3:25 Data1 V6 V5 V4 | Type | {a} -> {b} -> {c} -> a -> b -> c -> Data1 a b c | ||
| 10 | testdata/data.lc 3:26-3:27 Type | ||
| 11 | testdata/data.lc 3:28-3:29 Type | ||
| 12 | testdata/data.lc 3:30-3:31 Type | ||
| 13 | testdata/data.lc 5:6-5:11 Type | ||
| 14 | testdata/data.lc 5:6-6:39 Type | ||
| 15 | testdata/data.lc 5:6-8:20 Type | ||
| 16 | testdata/data.lc 5:14-5:20 Data2 | Int->Data2 | Type | ||
| 17 | testdata/data.lc 5:21-5:24 Type | ||
| 18 | testdata/data.lc 6:14-6:20 Data2 | Int -> Int->Data2 | Type | V1 | ||
| 19 | testdata/data.lc 6:23-6:24 Data2->Int | ||
| 20 | testdata/data.lc 6:28-6:31 Type | ||
| 21 | testdata/data.lc 6:33-6:34 Data2->Int | ||
| 22 | testdata/data.lc 6:36-6:39 Type | ||
| 23 | testdata/data.lc 7:14-7:20 Data2 | Int->Data2 | Type | ||
| 24 | testdata/data.lc 7:28-7:31 Type | ||
| 25 | testdata/data.lc 8:14-8:20 Data2 | ||
| 26 | testdata/data.lc 10:6-10:11 Type | Type -> Type -> Type->Type | ||
| 27 | testdata/data.lc 10:6-10:38 Type | ||
| 28 | testdata/data.lc 10:6-11:54 Type | ||
| 29 | testdata/data.lc 10:6-12:29 Type | ||
| 30 | testdata/data.lc 10:6-12:48 Type | ||
| 31 | testdata/data.lc 10:23-10:29 Data5 V4 V3 V2 | Type | V4 | {a} -> {b} -> {c} -> a -> Data5 a b c | ||
| 32 | testdata/data.lc 10:32-10:34 {a} -> {b} -> {c} -> Data5 a b c -> a | ||
| 33 | testdata/data.lc 10:36-10:38 Type | ||
| 34 | testdata/data.lc 11:23-11:29 Data5 V7 V6 V5 | Type | V4 | {a} -> {b} -> {c} -> a -> b -> c -> Data5 a b c | ||
| 35 | testdata/data.lc 11:36-11:38 Type | ||
| 36 | testdata/data.lc 11:40-11:42 {a} -> {b} -> {c} -> Data5 a b c -> b | ||
| 37 | testdata/data.lc 11:44-11:46 Type | ||
| 38 | testdata/data.lc 11:48-11:50 {a} -> {b} -> {c} -> Data5 a b c -> c | ||
| 39 | testdata/data.lc 11:52-11:54 Type | ||
| 40 | testdata/data.lc 12:23-12:29 Data5 V10 V9 V8 | Type | {a} -> {b} -> {c} -> Int -> a -> Float -> b -> c -> Data5 a b c | ||
| 41 | testdata/data.lc 12:30-12:33 Type | ||
| 42 | testdata/data.lc 12:34-12:36 Type | ||
| 43 | testdata/data.lc 12:37-12:42 Type | ||
| 44 | testdata/data.lc 12:43-12:45 Type | ||
| 45 | testdata/data.lc 12:46-12:48 Type | ||