diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-30 00:47:07 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-30 00:47:07 +0200 |
| commit | 1fd867e5beea5b4197f300e2e964c0f6b0035830 (patch) | |
| tree | 61102cad73ffc7efdbf4ebf589f8ebd7720b3f82 /testdata/typesigctx.reject.out | |
| parent | b08f6a129c452526b7c2667dcd629028d66ebf0a (diff) | |
fix pretty print syntax
Diffstat (limited to 'testdata/typesigctx.reject.out')
| -rw-r--r-- | testdata/typesigctx.reject.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/typesigctx.reject.out b/testdata/typesigctx.reject.out index a1052bcd..53748e22 100644 --- a/testdata/typesigctx.reject.out +++ b/testdata/typesigctx.reject.out | |||
| @@ -3,8 +3,8 @@ in Wildcard2 builtin 'Type | |||
| 3 | ------------ trace | 3 | ------------ trace |
| 4 | 'X :: [32mType[0m | 4 | 'X :: [32mType[0m |
| 5 | X :: [32m'X[0m | 5 | X :: [32m'X[0m |
| 6 | 'XCase :: [32m([32ma[0;32m :: 'X -> Type) -> [32m[32ma[0;32m [32mX[0;32m[0;32m -> ([32mb[0;32m :: 'X) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 6 | 'XCase :: [32mforall (a :: 'X -> Type) -> [32m[32ma[0;32m [32mX[0;32m[0;32m -> forall (b :: 'X) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
| 7 | match'X :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'X[0;32m[0;32m -> ([32mb[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 7 | match'X :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32m'X[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
| 8 | 'Show' :: [32mType -> Type[0m | 8 | 'Show' :: [32mType -> Type[0m |
| 9 | show' :: [32mforall a . [32m'Show' [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m -> 'X[0m | 9 | show' :: [32mforall a . [32m'Show' [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m -> 'X[0m |
| 10 | !type error: no instance of 'Show' on ??? | 10 | !type error: no instance of 'Show' on ??? |