I've been trying to get to the point with Haskell where I can write
useful programs, and I've come across something I don't understand with
the type system. I hope this is the right place to ask.
I came up with the following list of declarations:
a = ()
b x = (x )
c x y = (x y)
It turns
Hi Pete,
a = ()
b x = (x )
c x y = (x y)
I'm pretty sure this is the Monomorphism Restriction, its on the wiki
at: http://www.haskell.org/hawiki/MonomorphismRestriction
Thanks
Neil
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org