From 8f2e602cada9141b653802cf1084b9bdfd6e0d06 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Fri, 13 May 2016 22:48:03 +0200 Subject: refactoring & fix build --- testdata/traceTest.out | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) (limited to 'testdata/traceTest.out') diff --git a/testdata/traceTest.out b/testdata/traceTest.out index 18c05371..24804801 100644 --- a/testdata/traceTest.out +++ b/testdata/traceTest.out @@ -25,29 +25,29 @@ match'X = \a b c d -> <> x :: X (Type -> Type -> Type) \a b -> (a, b) x = _rhs (undefined ('X (Type -> Type -> Type) \a b -> ' (a, b))) ------------ tooltips -traceTest.lc 6:1-6:3 +6:1-6:3 forall a . a -> a -traceTest.lc 6:8-6:9 +6:8-6:9 _b -traceTest.lc 8:6-8:7 +8:6-8:7 forall a . a -> Type | forall a . a -> Type | forall a . a -> Type | Type | Type -traceTest.lc 8:6-8:18 +8:6-8:18 Type -traceTest.lc 8:17-8:18 +8:17-8:18 Type | Type | Type -traceTest.lc 10:6-10:7 +10:6-10:7 forall a . a -> Type -traceTest.lc 10:6-10:25 +10:6-10:25 Type -traceTest.lc 10:17-10:24 +10:17-10:24 Type -traceTest.lc 10:19-10:20 +10:19-10:20 _e -traceTest.lc 10:19-10:23 +10:19-10:23 [Type] -traceTest.lc 10:22-10:23 +10:22-10:23 _c | [Type] -traceTest.lc 11:1-11:2 +11:1-11:2 X (Type -> Type -> Type) \a b -> (a, b) -traceTest.lc 11:5-11:14 +11:5-11:14 forall a . a \ No newline at end of file -- cgit v1.2.3