[lhc] #21: Defaulting doesn't work (at least not for the Monomorphism Restriction)

lhc lhc at projects.haskell.org
Tue Feb 17 14:52:33 EST 2009


#21: Defaulting doesn't work (at least not for the Monomorphism Restriction)
----------------------+-----------------------------------------------------
 Reporter:  SamB      |       Owner:     
     Type:  defect    |      Status:  new
 Priority:  normal    |   Milestone:     
Component:  frontend  |     Version:     
 Keywords:            |    Testcase:     
----------------------+-----------------------------------------------------
 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.

-- 
Ticket URL: <http://trac.haskell.org/lhc/ticket/21>
lhc <http://lhc.seize.it>
the LHC Haskell Compiler



More information about the Lhc mailing list