diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 22:43:51 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 22:43:51 +0200 |
| commit | 67fd4cabceda047750c19e9bef98e0c25c6ed7dd (patch) | |
| tree | e64ac6cd1de2583e13f386421b952f32ffb8f955 /testdata/language-features/basic-list/list02.out | |
| parent | 56f6e4fb7b8c0fc6545843d467412fbfa8acb277 (diff) | |
switch to Haskell style syntax in pretty print
Diffstat (limited to 'testdata/language-features/basic-list/list02.out')
| -rw-r--r-- | testdata/language-features/basic-list/list02.out | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/testdata/language-features/basic-list/list02.out b/testdata/language-features/basic-list/list02.out index 7863cd3b..ff742fb8 100644 --- a/testdata/language-features/basic-list/list02.out +++ b/testdata/language-features/basic-list/list02.out | |||
| @@ -1,19 +1,19 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | value1 :: [32m{[32ma[0;32m} -> 'List [32ma[0;32m[0m | 3 | value1 :: [32mforall a . 'List [32ma[0;32m[0m |
| 4 | value2 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> 'List [32ma[0;32m[0m | 4 | value2 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => 'List [32ma[0;32m[0m |
| 5 | value3 :: [32m'List 'Char[0m | 5 | value3 :: [32m'List 'Char[0m |
| 6 | ------------ tooltips | 6 | ------------ tooltips |
| 7 | testdata/language-features/basic-list/list02.lc 1:1-1:7 {a} -> List a | 7 | testdata/language-features/basic-list/list02.lc 1:1-1:7 forall a . List a |
| 8 | testdata/language-features/basic-list/list02.lc 1:10-2:4 {a} -> List a | 8 | testdata/language-features/basic-list/list02.lc 1:10-2:4 forall a . List a |
| 9 | testdata/language-features/basic-list/list02.lc 4:1-4:7 {a} -> {_ : Num a} -> List a | 9 | testdata/language-features/basic-list/list02.lc 4:1-4:7 forall a . Num a => List a |
| 10 | testdata/language-features/basic-list/list02.lc 4:10-5:7 List c_ | 10 | testdata/language-features/basic-list/list02.lc 4:10-5:7 List _c |
| 11 | testdata/language-features/basic-list/list02.lc 4:11-4:12 b_ | 11 | testdata/language-features/basic-list/list02.lc 4:11-4:12 _b |
| 12 | testdata/language-features/basic-list/list02.lc 4:13-4:14 b_ | 12 | testdata/language-features/basic-list/list02.lc 4:13-4:14 _b |
| 13 | testdata/language-features/basic-list/list02.lc 4:13-5:6 List d_ | 13 | testdata/language-features/basic-list/list02.lc 4:13-5:6 List _d |
| 14 | testdata/language-features/basic-list/list02.lc 5:3-5:4 b_ | 14 | testdata/language-features/basic-list/list02.lc 5:3-5:4 _b |
| 15 | testdata/language-features/basic-list/list02.lc 5:3-5:6 List e_ | 15 | testdata/language-features/basic-list/list02.lc 5:3-5:6 List _e |
| 16 | testdata/language-features/basic-list/list02.lc 5:5-5:6 List e_ | b_ | 16 | testdata/language-features/basic-list/list02.lc 5:5-5:6 List _e | _b |
| 17 | testdata/language-features/basic-list/list02.lc 7:1-7:7 List Char | 17 | testdata/language-features/basic-list/list02.lc 7:1-7:7 List Char |
| 18 | testdata/language-features/basic-list/list02.lc 8:3-13:4 List Char | 18 | testdata/language-features/basic-list/list02.lc 8:3-13:4 List Char |
| 19 | testdata/language-features/basic-list/list02.lc 8:5-8:8 Char | 19 | testdata/language-features/basic-list/list02.lc 8:5-8:8 Char |