From 3dc1202546e63b50f828a34474717b1ddcbed5c7 Mon Sep 17 00:00:00 2001 From: Thomas Miedema Date: Sat, 18 Jun 2016 22:44:19 +0200 Subject: Testsuite: tabs -> spaces [skip ci] --- testsuite/tests/typecheck/should_compile/tc126.hs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'testsuite/tests/typecheck/should_compile/tc126.hs') diff --git a/testsuite/tests/typecheck/should_compile/tc126.hs b/testsuite/tests/typecheck/should_compile/tc126.hs index 87d63dd771..9b6bf8b2bb 100644 --- a/testsuite/tests/typecheck/should_compile/tc126.hs +++ b/testsuite/tests/typecheck/should_compile/tc126.hs @@ -14,20 +14,20 @@ class Bug f a r | f a -> r where bug::f->a->r instance Bug (Int->r) Int r -instance (Bug f a r) => Bug f (c a) (c r) +instance (Bug f a r) => Bug f (c a) (c r) f:: Bug(Int->Int) a r => a->r f = bug (id::Int->Int) g1 = f (f [0::Int]) --- Inner f gives result type --- f [0::Int] :: Bug (Int->Int) [Int] r => r +-- Inner f gives result type +-- f [0::Int] :: Bug (Int->Int) [Int] r => r -- Which matches the second instance declaration, giving r = [r'] --- f [0::Int] :: Bug (Int->Int) Int r' => r' +-- f [0::Int] :: Bug (Int->Int) Int r' => r' -- Wwich matches the first instance decl giving r' = Int --- f [0::Int] :: Int +-- f [0::Int] :: Int -- The outer f now has constraint --- Bug (Int->Int) Int r +-- Bug (Int->Int) Int r -- which makes r=Int -- So g1::Int -- cgit v1.2.1