[Haskell-cafe] Question about Haskell types

2006-02-26 Thread Pete Chown
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

Re: [Haskell-cafe] Question about Haskell types

2006-02-26 Thread Neil Mitchell
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