From ced2bb3b8d35d0e2faa21adeff04607a2174ae99 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Tue, 3 May 2016 15:08:14 +0200 Subject: refactoring --- testdata/Prelude.out | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'testdata/Prelude.out') diff --git a/testdata/Prelude.out b/testdata/Prelude.out index ead20303..88464b4e 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out @@ -191,7 +191,8 @@ isKeyC (_rhs ('Empty "")) \(d :: _) (e :: _) -> case'RecItem \_ -> _ :: _ - \(f :: _) (g :: _) -> _rhs (primIfThenElse (a == f) (b ~ g) (isKeyC a b e)) + \(f :: _) (g :: _) -> _rhs + (primIfThenElse (a == f) (b `'EqCTt` g) (isKeyC a b e)) d c fstTup = _rhs (hlistConsCase (_ :: _) \(a :: _) -> \_ -> a) -- cgit v1.2.3