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/list11.out | |
parent | 56f6e4fb7b8c0fc6545843d467412fbfa8acb277 (diff) |
switch to Haskell style syntax in pretty print
Diffstat (limited to 'testdata/language-features/basic-list/list11.out')
-rw-r--r-- | testdata/language-features/basic-list/list11.out | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out index 53a243cf..cb6df6d3 100644 --- a/testdata/language-features/basic-list/list11.out +++ b/testdata/language-features/basic-list/list11.out | |||
@@ -1,10 +1,10 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | value :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> 'List [32ma[0;32m[0m | 3 | value :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => 'List [32ma[0;32m[0m |
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {_ : Num a} -> List a | 5 | testdata/language-features/basic-list/list11.lc 1:1-1:6 forall a . Num a => List a |
6 | testdata/language-features/basic-list/list11.lc 1:9-1:10 b_ | 6 | testdata/language-features/basic-list/list11.lc 1:9-1:10 _b |
7 | testdata/language-features/basic-list/list11.lc 1:9-1:11 List b_ -> List b_ | 7 | testdata/language-features/basic-list/list11.lc 1:9-1:11 List _b -> List _b |
8 | testdata/language-features/basic-list/list11.lc 1:9-1:13 List b_ | 8 | testdata/language-features/basic-list/list11.lc 1:9-1:13 List _b |
9 | testdata/language-features/basic-list/list11.lc 1:10-1:11 {a} -> a -> List a -> List a | 9 | testdata/language-features/basic-list/list11.lc 1:10-1:11 forall a . a -> List a -> List a |
10 | testdata/language-features/basic-list/list11.lc 1:11-1:13 {a} -> List a | 10 | testdata/language-features/basic-list/list11.lc 1:11-1:13 forall a . List a |