[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