From 1a7544763729938e7009ead1e375e9bbf413afb0 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Sun, 1 May 2016 16:51:22 +0200 Subject: better namespace handling in pretty print --- testdata/typesigctx.reject.out | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'testdata/typesigctx.reject.out') 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 ??? in Wildcard2 builtin 'Type ------------ trace 'X :: Type -X :: 'X -'XCase :: 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 +X :: X +'XCase :: 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 +show' :: forall a . Show' a => a -> X !type error: no instance of 'Show' on ??? in Wildcard2 builtin 'Type ------------ tooltips -- cgit v1.2.3