id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,testcase
21,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.",defect,closed,normal,,frontend,,invalid,,,Defaulting
