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/traceTest.out | |
parent | 56f6e4fb7b8c0fc6545843d467412fbfa8acb277 (diff) |
switch to Haskell style syntax in pretty print
Diffstat (limited to 'testdata/traceTest.out')
-rw-r--r-- | testdata/traceTest.out | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testdata/traceTest.out b/testdata/traceTest.out index c1529ca6..4d11599e 100644 --- a/testdata/traceTest.out +++ b/testdata/traceTest.out | |||
@@ -1,21 +1,21 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | id :: [32m{[32ma[0;32m} -> [32ma[0;32m->[32ma[0;32m[0m | 3 | id :: [32mforall a . [32ma[0;32m -> [32ma[0;32m[0m |
4 | 'X :: [32m{[32ma[0;32m} -> [32ma[0;32m->Type[0m | 4 | 'X :: [32mforall a . [32ma[0;32m -> Type[0m |
5 | 'XCase :: [32m{[32ma[0;32m} -> {[32mb[0;32m:[32ma[0;32m} -> ([32mc[0;32m : 'X [32ma[0;32m [32mb[0;32m -> Type) -> ([32md[0;32m : 'X [32ma[0;32m [32mb[0;32m) -> [32m[32mc[0;32m [32m[32md[0;32m[0;32m[0;32m[0m | 5 | 'XCase :: [32mforall a (b :: [32ma[0;32m) . ([32mc[0;32m :: 'X [32ma[0;32m [32mb[0;32m -> Type) -> ([32md[0;32m :: 'X [32ma[0;32m [32mb[0;32m) -> [32m[32mc[0;32m [32m[32md[0;32m[0;32m[0;32m[0m |
6 | match'X :: [32m([32ma[0;32m : Type->Type) -> ({[32mb[0;32m} -> ([32mc[0;32m:[32mb[0;32m) -> [32m[32ma[0;32m [32m('X [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> ([32md[0;32m:Type) -> [32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m[0m | 6 | match'X :: [32m([32ma[0;32m :: Type -> Type) -> (forall b . ([32mc[0;32m :: [32mb[0;32m) -> [32m[32ma[0;32m [32m('X [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> ([32md[0;32m :: Type) -> [32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m[0m |
7 | x :: [32m'X (Type -> Type->Type) (\([32ma[0;32m:Type) ([32mb[0;32m:Type) -> ([32ma[0;32m, [32mb[0;32m))[0m | 7 | x :: [32m'X (Type -> Type -> Type) (\([32ma[0;32m :: Type) ([32mb[0;32m :: Type) -> ([32ma[0;32m, [32mb[0;32m))[0m |
8 | ------------ tooltips | 8 | ------------ tooltips |
9 | testdata/traceTest.lc 6:1-6:3 {a} -> a->a | 9 | testdata/traceTest.lc 6:1-6:3 forall a . a -> a |
10 | testdata/traceTest.lc 6:8-6:9 b_ | 10 | testdata/traceTest.lc 6:8-6:9 _b |
11 | testdata/traceTest.lc 8:6-8:7 Type | {a} -> a->Type | 11 | testdata/traceTest.lc 8:6-8:7 Type | forall a . a -> Type |
12 | testdata/traceTest.lc 8:6-8:18 Type | 12 | testdata/traceTest.lc 8:6-8:18 Type |
13 | testdata/traceTest.lc 8:17-8:18 Type | 13 | testdata/traceTest.lc 8:17-8:18 Type |
14 | testdata/traceTest.lc 10:6-10:7 {a} -> a->Type | 14 | testdata/traceTest.lc 10:6-10:7 forall a . a -> Type |
15 | testdata/traceTest.lc 10:6-10:25 Type | 15 | testdata/traceTest.lc 10:6-10:25 Type |
16 | testdata/traceTest.lc 10:17-10:24 Type | 16 | testdata/traceTest.lc 10:17-10:24 Type |
17 | testdata/traceTest.lc 10:19-10:20 e_ | 17 | testdata/traceTest.lc 10:19-10:20 _e |
18 | testdata/traceTest.lc 10:19-10:23 List Type | 18 | testdata/traceTest.lc 10:19-10:23 List Type |
19 | testdata/traceTest.lc 10:22-10:23 List Type | c_ | 19 | testdata/traceTest.lc 10:22-10:23 List Type | _c |
20 | testdata/traceTest.lc 11:1-11:2 X (Type -> Type->Type) (\(a:Type) (b:Type) -> (a, b)) | 20 | testdata/traceTest.lc 11:1-11:2 X (Type -> Type -> Type) (\(a :: Type) (b :: Type) -> (a, b)) |
21 | testdata/traceTest.lc 11:5-11:14 {a}->a | 21 | testdata/traceTest.lc 11:5-11:14 forall a . a |