diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 14:49:17 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 14:49:17 +0200 |
commit | 1b49cc7e377e6c16d6c5bc4cced39dc20b8c0bec (patch) | |
tree | 79931726bcef4f09d556d588e00cd917f43b86e3 /testdata/typesigctx.reject.out | |
parent | 05521f428c8805a693b8ad4fa5dd139eaf562362 (diff) |
refactoring
Diffstat (limited to 'testdata/typesigctx.reject.out')
-rw-r--r-- | testdata/typesigctx.reject.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/typesigctx.reject.out b/testdata/typesigctx.reject.out index ff06cec2..631b9a16 100644 --- a/testdata/typesigctx.reject.out +++ b/testdata/typesigctx.reject.out | |||
@@ -3,7 +3,7 @@ in Wildcard2 builtin 'Type | |||
3 | ------------ trace | 3 | ------------ trace |
4 | 'X :: Type | 4 | 'X :: Type |
5 | X :: X | 5 | X :: X |
6 | 'XCase :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b | 6 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b |
7 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b | 7 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b |
8 | 'Show' :: Type -> Type | 8 | 'Show' :: Type -> Type |
9 | show' :: forall a . Show' a => a -> X | 9 | show' :: forall a . Show' a => a -> X |