diff options
Diffstat (limited to 'testdata/traceTest.out')
| -rw-r--r-- | testdata/traceTest.out | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/traceTest.out b/testdata/traceTest.out index 4d11599e..93ec5169 100644 --- a/testdata/traceTest.out +++ b/testdata/traceTest.out | |||
| @@ -2,9 +2,9 @@ main is not found | |||
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | id :: [32mforall a . [32ma[0;32m -> [32ma[0;32m[0m | 3 | id :: [32mforall a . [32ma[0;32m -> [32ma[0;32m[0m |
| 4 | 'X :: [32mforall a . [32ma[0;32m -> Type[0m | 4 | 'X :: [32mforall a . [32ma[0;32m -> Type[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 | 5 | 'XCase :: [32mforall a (b :: [32ma[0;32m) . forall (c :: 'X [32ma[0;32m [32mb[0;32m -> Type) (d :: '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) -> (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 | 6 | match'X :: [32mforall (a :: Type -> Type) -> (forall b . forall (c :: [32mb[0;32m) -> [32m[32ma[0;32m [32m('X [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> forall d -> [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) (\a b -> ([32ma[0;32m, [32mb[0;32m))[0m |
| 8 | ------------ tooltips | 8 | ------------ tooltips |
| 9 | testdata/traceTest.lc 6:1-6:3 forall 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 |
| @@ -17,5 +17,5 @@ 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 b -> (a, b)) |
| 21 | testdata/traceTest.lc 11:5-11:14 forall a . a | 21 | testdata/traceTest.lc 11:5-11:14 forall a . a |