From 1b49cc7e377e6c16d6c5bc4cced39dc20b8c0bec Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Tue, 3 May 2016 14:49:17 +0200 Subject: refactoring --- testdata/typesigctx.reject.out | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testdata/typesigctx.reject.out') 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 ------------ trace 'X :: Type X :: X -'XCase :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b +case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b 'Show' :: Type -> Type show' :: forall a . Show' a => a -> X -- cgit v1.2.3