Defaulting doesn't work (at least not for the Monomorphism Restriction)

[SamB]

The Defaulting test fails like this:

user error (
What:    failure
Why:     Signature too Weak: [] does not imply [Lhc.Show.Show t13,Lhc.Show.Show t3]
Where:   on line 5 in regress/tests/bugs/Defaulting.hs
in the explicitly typed Main.main = (Prelude.IO.print
    Main.x) Lhc.Monad.>>
    (Prelude.IO.print Main.y)
                {- on line 5 -}

Where t13 and t3 are the variables assigned to the types of x and y.

[Lemmih]

Doesn't apply to the new code base.