diff options
Diffstat (limited to 'testdata/typesigctx.reject.out')
-rw-r--r-- | testdata/typesigctx.reject.out | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/typesigctx.reject.out b/testdata/typesigctx.reject.out index 53748e22..c3055e27 100644 --- a/testdata/typesigctx.reject.out +++ b/testdata/typesigctx.reject.out | |||
@@ -2,11 +2,11 @@ type error: no instance of 'Show' on ??? | |||
2 | in Wildcard2 builtin 'Type | 2 | in Wildcard2 builtin 'Type |
3 | ------------ trace | 3 | ------------ trace |
4 | 'X :: [32mType[0m | 4 | 'X :: [32mType[0m |
5 | X :: [32m'X[0m | 5 | X :: [32mX[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 | 6 | 'XCase :: [32mforall (a :: X -> Type) -> [32m[32ma[0;32m [32m'X[0;32m[0;32m -> forall (b :: X) -> [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 | 7 | match'X :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mX[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 . [32mShow' [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 ??? |
11 | in Wildcard2 builtin 'Type | 11 | in Wildcard2 builtin 'Type |
12 | ------------ tooltips | 12 | ------------ tooltips |