From 67fd4cabceda047750c19e9bef98e0c25c6ed7dd Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Thu, 28 Apr 2016 22:43:51 +0200 Subject: switch to Haskell style syntax in pretty print --- testdata/typeclass.out | 50 +++++++++++++++++++++++++------------------------- 1 file changed, 25 insertions(+), 25 deletions(-) (limited to 'testdata/typeclass.out') diff --git a/testdata/typeclass.out b/testdata/typeclass.out index c325cfed..1d5b48d0 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out @@ -1,42 +1,42 @@ main is not found ------------ trace -not :: 'Bool->'Bool -&& :: 'Bool -> 'Bool->'Bool -|| :: 'Bool -> 'Bool->'Bool -'Eq :: Type->Type -== :: {a} -> {_ : 'Eq a} -> a -> a->'Bool -/= :: {a} -> {_ : 'Eq a} -> a -> a->'Bool +not :: 'Bool -> 'Bool +&& :: 'Bool -> 'Bool -> 'Bool +|| :: 'Bool -> 'Bool -> 'Bool +'Eq :: Type -> Type +== :: forall a . 'Eq a => a -> a -> 'Bool +/= :: forall a . 'Eq a => a -> a -> 'Bool ------------ tooltips -testdata/typeclass.lc 8:1-8:4 Bool->Bool +testdata/typeclass.lc 8:1-8:4 Bool -> Bool testdata/typeclass.lc 8:12-8:17 Bool -testdata/typeclass.lc 8:12-9:17 Bool->Bool +testdata/typeclass.lc 8:12-9:17 Bool -> Bool testdata/typeclass.lc 9:13-9:17 Bool -testdata/typeclass.lc 11:6-11:8 Bool -> Bool->Bool -testdata/typeclass.lc 11:13-11:14 b_ -testdata/typeclass.lc 11:13-12:19 Bool->Bool +testdata/typeclass.lc 11:6-11:8 Bool -> Bool -> Bool +testdata/typeclass.lc 11:13-11:14 _b +testdata/typeclass.lc 11:13-12:19 Bool -> Bool testdata/typeclass.lc 12:14-12:19 Bool -testdata/typeclass.lc 14:7-14:9 Bool -> Bool->Bool -testdata/typeclass.lc 14:14-14:15 c_ -testdata/typeclass.lc 14:14-15:17 Bool->Bool +testdata/typeclass.lc 14:7-14:9 Bool -> Bool -> Bool +testdata/typeclass.lc 14:14-14:15 _c +testdata/typeclass.lc 14:14-15:17 Bool -> Bool testdata/typeclass.lc 15:13-15:17 Bool -testdata/typeclass.lc 17:7-17:9 Type->Type +testdata/typeclass.lc 17:7-17:9 Type -> Type testdata/typeclass.lc 17:7-18:27 Type -testdata/typeclass.lc 18:6-18:8 {a} -> {_ : Eq a} -> a -> a->Bool +testdata/typeclass.lc 18:6-18:8 forall a . Eq a => a -> a -> Bool testdata/typeclass.lc 18:13-18:14 Type testdata/typeclass.lc 18:13-18:27 Type testdata/typeclass.lc 18:18-18:19 Type testdata/typeclass.lc 18:18-18:27 Type testdata/typeclass.lc 18:23-18:27 Type -testdata/typeclass.lc 20:3-20:5 {a} -> {_ : Eq a} -> a -> a->Bool -testdata/typeclass.lc 20:10-20:13 Bool->Bool +testdata/typeclass.lc 20:3-20:5 forall a . Eq a => a -> a -> Bool +testdata/typeclass.lc 20:10-20:13 Bool -> Bool testdata/typeclass.lc 20:10-20:22 Bool -testdata/typeclass.lc 20:15-20:16 f_ -testdata/typeclass.lc 20:15-20:19 e_->Bool +testdata/typeclass.lc 20:15-20:16 _f +testdata/typeclass.lc 20:15-20:19 _e -> Bool testdata/typeclass.lc 20:15-20:21 Bool -testdata/typeclass.lc 20:17-20:19 {a} -> {_ : Eq a} -> a -> a->Bool -testdata/typeclass.lc 20:20-20:21 c_ +testdata/typeclass.lc 20:17-20:19 forall a . Eq a => a -> a -> Bool +testdata/typeclass.lc 20:20-20:21 _c testdata/typeclass.lc 23:17-23:18 Bool -testdata/typeclass.lc 23:17-24:23 Bool->Bool | {_ : Eq a_} -> a_ -> a_->Bool | {a} -> {_ : Eq a} -> a -> a->Bool -testdata/typeclass.lc 24:18-24:21 Bool->Bool +testdata/typeclass.lc 23:17-24:23 Bool -> Bool | Eq _a => _a -> _a -> Bool | forall a . Eq a => a -> a -> Bool +testdata/typeclass.lc 24:18-24:21 Bool -> Bool testdata/typeclass.lc 24:18-24:23 Bool -testdata/typeclass.lc 24:22-24:23 b_ +testdata/typeclass.lc 24:22-24:23 _b -- cgit v1.2.3