From 7e9105793bd0d5ff7197a5860ac5339dea677e0e Mon Sep 17 00:00:00 2001
From: Péter Diviánszky <divipp@gmail.com>
Date: Thu, 28 Apr 2016 02:01:29 +0200
Subject: switch to ansi-wl-pprint

---
 testdata/typeclass.out | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'testdata/typeclass.out')

diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 36725be0..e0da48d1 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -1,11 +1,11 @@
 main is not found
 ------------ trace
-not :: [32m'Bool->'Bool[39m[K
-&& :: [32m'Bool -> 'Bool->'Bool[39m[K
-|| :: [32m'Bool -> 'Bool->'Bool[39m[K
-'Eq :: [32mType->Type[39m[K
-== :: [32m{a} -> {_ : 'Eq a} -> a -> a->'Bool[39m[K
-/= :: [32m{a} -> {_ : 'Eq a} -> a -> a->'Bool[39m[K
+not :: [32m'Bool->'Bool[0m
+&& :: [32m'Bool -> 'Bool->'Bool[0m
+|| :: [32m'Bool -> 'Bool->'Bool[0m
+'Eq :: [32mType->Type[0m
+== :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m -> [32ma[0;32m->'Bool[0m
+/= :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m -> [32ma[0;32m->'Bool[0m
 ------------ tooltips
 testdata/typeclass.lc 8:1-8:4  Bool->Bool
 testdata/typeclass.lc 8:12-8:17  Bool
-- 
cgit v1.2.3