diff options
Diffstat (limited to 'testdata/language-features/basic-list/list13.out')
| -rw-r--r-- | testdata/language-features/basic-list/list13.out | 68 |
1 files changed, 45 insertions, 23 deletions
diff --git a/testdata/language-features/basic-list/list13.out b/testdata/language-features/basic-list/list13.out index 477564f1..f0a9adde 100644 --- a/testdata/language-features/basic-list/list13.out +++ b/testdata/language-features/basic-list/list13.out | |||
| @@ -2,27 +2,49 @@ | |||
| 2 | value = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : Nil) | 2 | value = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : Nil) |
| 3 | main is not found | 3 | main is not found |
| 4 | ------------ trace | 4 | ------------ trace |
| 5 | value :: [32mList Char[0m | 5 | value :: List Char |
| 6 | ------------ tooltips | 6 | ------------ tooltips |
| 7 | testdata/language-features/basic-list/list13.lc 1:1-1:6 List Char | 7 | testdata/language-features/basic-list/list13.lc 1:1-1:6 |
| 8 | testdata/language-features/basic-list/list13.lc 1:9-1:12 Char | 8 | List Char |
| 9 | testdata/language-features/basic-list/list13.lc 1:9-1:13 List Char -> List Char | 9 | testdata/language-features/basic-list/list13.lc 1:9-1:12 |
| 10 | testdata/language-features/basic-list/list13.lc 1:9-1:31 List Char | 10 | Char |
| 11 | testdata/language-features/basic-list/list13.lc 1:12-1:13 forall a . a -> List a -> List a | 11 | testdata/language-features/basic-list/list13.lc 1:9-1:13 |
| 12 | testdata/language-features/basic-list/list13.lc 1:13-1:16 Char | 12 | List Char -> List Char |
| 13 | testdata/language-features/basic-list/list13.lc 1:13-1:17 List Char -> List Char | 13 | testdata/language-features/basic-list/list13.lc 1:9-1:31 |
| 14 | testdata/language-features/basic-list/list13.lc 1:13-1:31 List Char | 14 | List Char |
| 15 | testdata/language-features/basic-list/list13.lc 1:16-1:17 forall a . a -> List a -> List a | 15 | testdata/language-features/basic-list/list13.lc 1:12-1:13 |
| 16 | testdata/language-features/basic-list/list13.lc 1:17-1:20 Char | 16 | forall a . a -> List a -> List a |
| 17 | testdata/language-features/basic-list/list13.lc 1:17-1:21 List Char -> List Char | 17 | testdata/language-features/basic-list/list13.lc 1:13-1:16 |
| 18 | testdata/language-features/basic-list/list13.lc 1:17-1:31 List Char | 18 | Char |
| 19 | testdata/language-features/basic-list/list13.lc 1:20-1:21 forall a . a -> List a -> List a | 19 | testdata/language-features/basic-list/list13.lc 1:13-1:17 |
| 20 | testdata/language-features/basic-list/list13.lc 1:21-1:24 Char | 20 | List Char -> List Char |
| 21 | testdata/language-features/basic-list/list13.lc 1:21-1:25 List Char -> List Char | 21 | testdata/language-features/basic-list/list13.lc 1:13-1:31 |
| 22 | testdata/language-features/basic-list/list13.lc 1:21-1:31 List Char | 22 | List Char |
| 23 | testdata/language-features/basic-list/list13.lc 1:24-1:25 forall a . a -> List a -> List a | 23 | testdata/language-features/basic-list/list13.lc 1:16-1:17 |
| 24 | testdata/language-features/basic-list/list13.lc 1:25-1:28 Char | 24 | forall a . a -> List a -> List a |
| 25 | testdata/language-features/basic-list/list13.lc 1:25-1:29 List Char -> List Char | 25 | testdata/language-features/basic-list/list13.lc 1:17-1:20 |
| 26 | testdata/language-features/basic-list/list13.lc 1:25-1:31 List Char | 26 | Char |
| 27 | testdata/language-features/basic-list/list13.lc 1:28-1:29 forall a . a -> List a -> List a | 27 | testdata/language-features/basic-list/list13.lc 1:17-1:21 |
| 28 | testdata/language-features/basic-list/list13.lc 1:29-1:31 forall a . List a | 28 | List Char -> List Char |
| 29 | testdata/language-features/basic-list/list13.lc 1:17-1:31 | ||
| 30 | List Char | ||
| 31 | testdata/language-features/basic-list/list13.lc 1:20-1:21 | ||
| 32 | forall a . a -> List a -> List a | ||
| 33 | testdata/language-features/basic-list/list13.lc 1:21-1:24 | ||
| 34 | Char | ||
| 35 | testdata/language-features/basic-list/list13.lc 1:21-1:25 | ||
| 36 | List Char -> List Char | ||
| 37 | testdata/language-features/basic-list/list13.lc 1:21-1:31 | ||
| 38 | List Char | ||
| 39 | testdata/language-features/basic-list/list13.lc 1:24-1:25 | ||
| 40 | forall a . a -> List a -> List a | ||
| 41 | testdata/language-features/basic-list/list13.lc 1:25-1:28 | ||
| 42 | Char | ||
| 43 | testdata/language-features/basic-list/list13.lc 1:25-1:29 | ||
| 44 | List Char -> List Char | ||
| 45 | testdata/language-features/basic-list/list13.lc 1:25-1:31 | ||
| 46 | List Char | ||
| 47 | testdata/language-features/basic-list/list13.lc 1:28-1:29 | ||
| 48 | forall a . a -> List a -> List a | ||
| 49 | testdata/language-features/basic-list/list13.lc 1:29-1:31 | ||
| 50 | forall a . List a \ No newline at end of file | ||