From 4fd500adc5a8eee72caca044bac5fd11ef10c6b5 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Wed, 4 May 2016 10:37:44 +0200 Subject: fix pretty print --- testdata/typesig.reject.out | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'testdata/typesig.reject.out') diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 0561886c..27b06da5 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out @@ -1,4 +1,4 @@ -focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) +focus checkMetas: \(a :: Type) -> (\b -> primFix a b) let a = Type in \(c :: Type) -> <> \(a :: Type ~ _a) (b :: _a ~ X) -> typeAnn _a (_rhs X) ------------ trace @@ -6,7 +6,7 @@ focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) X :: X 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 -!focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) +!focus checkMetas: \(a :: Type) -> (\b -> primFix a b) let a = Type in \(c :: Type) -> <> \(a :: Type ~ _a) (b :: _a ~ X) -> typeAnn _a (_rhs X) ------------ tooltips -- cgit v1.2.3