diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc231.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/tc231.hs | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc231.hs b/testsuite/tests/typecheck/should_compile/tc231.hs index 9e91be3a6a..8a655e1c0e 100644 --- a/testsuite/tests/typecheck/should_compile/tc231.hs +++ b/testsuite/tests/typecheck/should_compile/tc231.hs @@ -5,12 +5,16 @@ -- See #1456 -- The key thing here is that foo should get the type --- foo :: forall b s t1. (Zork s (Z [Char]) b) --- => Q s (Z [Char]) t1 -> ST s () +-- foo :: forall s b chain. (Zork s (Z [Char]) b) +-- => Q s (Z [Char]) chain -> ST s () -- Note the quantification over 'b', which was previously -- omitted; see Note [Important subtlety in oclose] in GHC.Tc.Instance.FunDeps +-- (Note removed in ecddaca17dccbe1d0b56220d838fce8bc4b97884, but you can +-- find it in the history) +-- June 2021: marking this test as should_fail again. +-- See https://gitlab.haskell.org/ghc/ghc/-/issues/20064 module ShouldCompile where @@ -18,13 +22,13 @@ import GHC.ST data Q s a chain = Node s a chain -data Z a = Z a +data Z a = Z a -s :: Q t (Z [Char]) t1 -> Q t (Z [Char]) t1 +s :: Q s (Z [Char]) chain -> Q s (Z [Char]) chain s = undefined class Zork s a b | a -> b where - huh :: Q s a chain -> ST s () + huh :: Q s a chain -> ST s () +--foo :: Zork s (Z [Char]) b => Q s (Z [Char]) chain -> ST s () foo b = huh (s b) - |