diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-18 18:34:47 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-19 02:50:09 +0100 |
commit | 998ae8f884f4b1d4e092ebdf3a441b97b2cf05b7 (patch) | |
tree | 6ced17ee38fa78de69b05c8765288ecabe52fb6e /testdata/language-features/basic-values/typesig04.out | |
parent | 27c8f3aeb2d13da0bec522ee8a8a98f534fa39e8 (diff) |
tuples are heterogeneous lists
Diffstat (limited to 'testdata/language-features/basic-values/typesig04.out')
-rw-r--r-- | testdata/language-features/basic-values/typesig04.out | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out index d497b9e3..dafe7490 100644 --- a/testdata/language-features/basic-values/typesig04.out +++ b/testdata/language-features/basic-values/typesig04.out | |||
@@ -1,7 +1,7 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | fun1 :: [32m{a} -> {b} -> {c} -> a -> b->c -> 'Tuple0[39m[K | 3 | fun1 :: [32m{a} -> {b} -> {c} -> a -> b->c -> ()[39m[K |
4 | fun2 :: [32m{a} -> {b} -> {c} -> a -> b->c -> 'Tuple0[39m[K | 4 | fun2 :: [32m{a} -> {b} -> {c} -> a -> b->c -> ()[39m[K |
5 | ------------ tooltips | 5 | ------------ tooltips |
6 | testdata/language-features/basic-values/typesig04.lc 1:9-1:10 V5 | 6 | testdata/language-features/basic-values/typesig04.lc 1:9-1:10 V5 |
7 | testdata/language-features/basic-values/typesig04.lc 1:9-1:28 Type | 7 | testdata/language-features/basic-values/typesig04.lc 1:9-1:28 Type |
@@ -9,13 +9,13 @@ testdata/language-features/basic-values/typesig04.lc 1:14-1:28 Type | |||
9 | testdata/language-features/basic-values/typesig04.lc 1:15-1:16 V4 | 9 | testdata/language-features/basic-values/typesig04.lc 1:15-1:16 V4 |
10 | testdata/language-features/basic-values/typesig04.lc 1:20-1:21 Type | V3 | 10 | testdata/language-features/basic-values/typesig04.lc 1:20-1:21 Type | V3 |
11 | testdata/language-features/basic-values/typesig04.lc 1:26-1:28 Type | 11 | testdata/language-features/basic-values/typesig04.lc 1:26-1:28 Type |
12 | testdata/language-features/basic-values/typesig04.lc 2:1-2:5 {a} -> {b} -> {c} -> a -> b->c -> Tuple0 | 12 | testdata/language-features/basic-values/typesig04.lc 2:1-2:5 {a} -> {b} -> {c} -> a -> b->c -> () |
13 | testdata/language-features/basic-values/typesig04.lc 2:12-2:14 Tuple0 | V2 -> V2->V2 -> Tuple0 | V2->V2 -> Tuple0 | 13 | testdata/language-features/basic-values/typesig04.lc 2:12-2:14 () | V2 -> V2->V2 -> () | V2->V2 -> () |
14 | testdata/language-features/basic-values/typesig04.lc 4:7-4:8 V5 | 14 | testdata/language-features/basic-values/typesig04.lc 4:7-4:8 V5 |
15 | testdata/language-features/basic-values/typesig04.lc 4:7-4:20 Type | 15 | testdata/language-features/basic-values/typesig04.lc 4:7-4:20 Type |
16 | testdata/language-features/basic-values/typesig04.lc 4:10-4:20 Type | 16 | testdata/language-features/basic-values/typesig04.lc 4:10-4:20 Type |
17 | testdata/language-features/basic-values/typesig04.lc 4:11-4:12 V4 | 17 | testdata/language-features/basic-values/typesig04.lc 4:11-4:12 V4 |
18 | testdata/language-features/basic-values/typesig04.lc 4:14-4:15 Type | V3 | 18 | testdata/language-features/basic-values/typesig04.lc 4:14-4:15 Type | V3 |
19 | testdata/language-features/basic-values/typesig04.lc 4:18-4:20 Type | 19 | testdata/language-features/basic-values/typesig04.lc 4:18-4:20 Type |
20 | testdata/language-features/basic-values/typesig04.lc 5:1-5:5 {a} -> {b} -> {c} -> a -> b->c -> Tuple0 | 20 | testdata/language-features/basic-values/typesig04.lc 5:1-5:5 {a} -> {b} -> {c} -> a -> b->c -> () |
21 | testdata/language-features/basic-values/typesig04.lc 5:12-5:14 Tuple0 | V2 -> V2->V2 -> Tuple0 | V2->V2 -> Tuple0 | 21 | testdata/language-features/basic-values/typesig04.lc 5:12-5:14 () | V2 -> V2->V2 -> () | V2->V2 -> () |