implicit parameter not hoisted

[Ashley Yakeley <ashley@…>]

Try compiling this:

{-# OPTIONS -fglasgow-exts #-}
module Bug where
	f :: () -> (?p :: ()) => () -> ()
	f _ _ = ();

	g :: (?p :: ()) => ()
	g = f () ()

Results:

Bug.hs:7:10:
    Couldn't match expected type `{?p::()}' against inferred type `()'
    In the second argument of `f', namely `()'
    In the expression: f () ()
    In the definition of `g': g = f () ()

Expected: to compile.

[igloo]

This looks like another one for you, Simon...

[simonpj]

Good report, thank you. A slip in TcType.tcSplitFunTy_maybe, now fixed.

Simon