From fce14b4a6a908a460854b86d40edd5b45cd1e45f Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Thu, 18 Feb 2016 10:48:29 +0100 Subject: refactoring --- testdata/typeclass.out | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'testdata/typeclass.out') diff --git a/testdata/typeclass.out b/testdata/typeclass.out index 5f036c40..84ba69fe 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out @@ -43,10 +43,10 @@ testdata/typeclass.lc 20:17-20:19 {a} -> {b : Eq a} -> a -> a->Bool testdata/typeclass.lc 20:20-20:21 V2 testdata/typeclass.lc 22:13-22:17 Type | Type->Type testdata/typeclass.lc 22:13-24:23 (V1 -> V2->Bool) -> V2 -> V3->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool -testdata/typeclass.lc 23:5-23:9 Bool -testdata/typeclass.lc 23:5-24:23 Bool | Bool -> Bool->Bool | Bool->Bool +testdata/typeclass.lc 23:5-23:9 V2 +testdata/typeclass.lc 23:5-24:23 Bool 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 Bool +testdata/typeclass.lc 24:22-24:23 V1 -- cgit v1.2.3