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_fail/tcfail093.hs | |
parent | cf6e65693588cd9d40c895279f2e53d3d25a2c58 (diff) | |
download | haskell-3dc1202546e63b50f828a34474717b1ddcbed5c7.tar.gz |
Testsuite: tabs -> spaces [skip ci]
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail093.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail093.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail093.hs b/testsuite/tests/typecheck/should_fail/tcfail093.hs index 1f2063a1c2..6e2e6781ba 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail093.hs +++ b/testsuite/tests/typecheck/should_fail/tcfail093.hs @@ -4,7 +4,7 @@ module ShouldFail where --- A stripped down functional-dependency +-- A stripped down functional-dependency -- example that causes GHC 4.08.1 to crash with: -- "basicTypes/Var.lhs:194: Non-exhaustive patterns in function readMutTyVar" -- Reported by Thomas Hallgren Nov 00 @@ -18,19 +18,19 @@ primDup = undefined dup () = call primDup --- call :: Call c h => c -> h +-- call :: Call c h => c -> h -- --- call primDup :: {Call (Int -> IO Int) h} => h with +-- call primDup :: {Call (Int -> IO Int) h} => h with -- Using the instance decl gives --- call primDup :: {Call (IO Int) h'} => Int -> h' +-- call primDup :: {Call (IO Int) h'} => Int -> h' -- The functional dependency means that h must be constant --- Hence program is rejected because it can't find an instance +-- Hence program is rejected because it can't find an instance -- for {Call (IO Int) h'} class Call c h | c -> h where call :: c -> h -instance Call c h => Call (Int->c) (Int->h) where +instance Call c h => Call (Int->c) (Int->h) where call f = call . f |