diff options
Diffstat (limited to 'testdata/language-features/basic-list/list12.out')
-rw-r--r-- | testdata/language-features/basic-list/list12.out | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testdata/language-features/basic-list/list12.out b/testdata/language-features/basic-list/list12.out index eebc55d2..78811ae1 100644 --- a/testdata/language-features/basic-list/list12.out +++ b/testdata/language-features/basic-list/list12.out | |||
@@ -4,23 +4,23 @@ value :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[ | |||
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/basic-list/list12.lc 1:1-1:6 {a} -> {_ : Num a} -> List a | 5 | testdata/language-features/basic-list/list12.lc 1:1-1:6 {a} -> {_ : Num a} -> List a |
6 | testdata/language-features/basic-list/list12.lc 1:9-1:10 b_ | 6 | testdata/language-features/basic-list/list12.lc 1:9-1:10 b_ |
7 | testdata/language-features/basic-list/list12.lc 1:9-1:11 List b_ -> List c_ | 7 | testdata/language-features/basic-list/list12.lc 1:9-1:11 List b_ -> List b_ |
8 | testdata/language-features/basic-list/list12.lc 1:9-1:21 List c_ | 8 | testdata/language-features/basic-list/list12.lc 1:9-1:21 List c_ |
9 | testdata/language-features/basic-list/list12.lc 1:10-1:11 {a} -> a -> List a -> List a | 9 | testdata/language-features/basic-list/list12.lc 1:10-1:11 {a} -> a -> List a -> List a |
10 | testdata/language-features/basic-list/list12.lc 1:11-1:12 b_ | 10 | testdata/language-features/basic-list/list12.lc 1:11-1:12 b_ |
11 | testdata/language-features/basic-list/list12.lc 1:11-1:13 List b_ -> List c_ | 11 | testdata/language-features/basic-list/list12.lc 1:11-1:13 List b_ -> List b_ |
12 | testdata/language-features/basic-list/list12.lc 1:11-1:21 List d_ | 12 | testdata/language-features/basic-list/list12.lc 1:11-1:21 List d_ |
13 | testdata/language-features/basic-list/list12.lc 1:12-1:13 {a} -> a -> List a -> List a | 13 | testdata/language-features/basic-list/list12.lc 1:12-1:13 {a} -> a -> List a -> List a |
14 | testdata/language-features/basic-list/list12.lc 1:13-1:14 b_ | 14 | testdata/language-features/basic-list/list12.lc 1:13-1:14 b_ |
15 | testdata/language-features/basic-list/list12.lc 1:13-1:15 List b_ -> List c_ | 15 | testdata/language-features/basic-list/list12.lc 1:13-1:15 List b_ -> List b_ |
16 | testdata/language-features/basic-list/list12.lc 1:13-1:21 List e_ | 16 | testdata/language-features/basic-list/list12.lc 1:13-1:21 List e_ |
17 | testdata/language-features/basic-list/list12.lc 1:14-1:15 {a} -> a -> List a -> List a | 17 | testdata/language-features/basic-list/list12.lc 1:14-1:15 {a} -> a -> List a -> List a |
18 | testdata/language-features/basic-list/list12.lc 1:15-1:16 b_ | 18 | testdata/language-features/basic-list/list12.lc 1:15-1:16 b_ |
19 | testdata/language-features/basic-list/list12.lc 1:15-1:17 List b_ -> List c_ | 19 | testdata/language-features/basic-list/list12.lc 1:15-1:17 List b_ -> List b_ |
20 | testdata/language-features/basic-list/list12.lc 1:15-1:21 List f_ | 20 | testdata/language-features/basic-list/list12.lc 1:15-1:21 List f_ |
21 | testdata/language-features/basic-list/list12.lc 1:16-1:17 {a} -> a -> List a -> List a | 21 | testdata/language-features/basic-list/list12.lc 1:16-1:17 {a} -> a -> List a -> List a |
22 | testdata/language-features/basic-list/list12.lc 1:17-1:18 b_ | 22 | testdata/language-features/basic-list/list12.lc 1:17-1:18 b_ |
23 | testdata/language-features/basic-list/list12.lc 1:17-1:19 List b_ -> List c_ | 23 | testdata/language-features/basic-list/list12.lc 1:17-1:19 List b_ -> List b_ |
24 | testdata/language-features/basic-list/list12.lc 1:17-1:21 List f_ | 24 | testdata/language-features/basic-list/list12.lc 1:17-1:21 List f_ |
25 | testdata/language-features/basic-list/list12.lc 1:18-1:19 {a} -> a -> List a -> List a | 25 | testdata/language-features/basic-list/list12.lc 1:18-1:19 {a} -> a -> List a -> List a |
26 | testdata/language-features/basic-list/list12.lc 1:19-1:21 {a} -> List a | 26 | testdata/language-features/basic-list/list12.lc 1:19-1:21 {a} -> List a |