diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-18 22:44:19 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-20 16:22:07 +0200 |
| commit | 3dc1202546e63b50f828a34474717b1ddcbed5c7 (patch) | |
| tree | 745fde8e9712c6d0b0507d9ae4988736c678abdb /testsuite/tests/typecheck/should_compile/tc126.hs | |
| parent | cf6e65693588cd9d40c895279f2e53d3d25a2c58 (diff) | |
| download | haskell-3dc1202546e63b50f828a34474717b1ddcbed5c7.tar.gz | |
Testsuite: tabs -> spaces [skip ci]
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc126.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc126.hs | 12 |
1 files changed, 6 insertions, 6 deletions
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 |