From 128cf82881352cc1e9061db97fe3762315cfd0c9 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Sun, 1 May 2016 22:56:42 +0200 Subject: removing coloring from .out files --- testdata/typeclass.out | 111 ++++++++++++++++++++++++++++++++----------------- 1 file changed, 72 insertions(+), 39 deletions(-) (limited to 'testdata/typeclass.out') diff --git a/testdata/typeclass.out b/testdata/typeclass.out index 746fa7b9..cb227dbc 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out @@ -26,43 +26,76 @@ not = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs True) (_rhs False) a /= = \(a :: _) (b :: _) -> _rhs (not (a == b)) main is not found ------------ trace -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 +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:12-8:17 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 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 15:13-15:17 Bool -testdata/typeclass.lc 17:7-17:9 Type -> Type -testdata/typeclass.lc 17:7-18:27 Type -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 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:21 Bool -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 | 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 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 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 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 15:13-15:17 + Bool +testdata/typeclass.lc 17:7-17:9 + Type -> Type | Type -> Type +testdata/typeclass.lc 17:7-18:27 + Type +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 | Type +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:21 + Bool +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 +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 \ No newline at end of file -- cgit v1.2.3