Confused about typing in ghci

[Matthew Danish]

On Wed, Apr 02, 2008 at 04:54:36PM -0400, Patrick Surry wrote:
> Thanks for the quick reply - I'm not sure I really understand exactly
> what your rule means, but it's led me over to
> http://www.haskell.org/haskellwiki/Monomorphism_restriction where it
> seems possible that I might eventually figure it out :)

Really, don't overthink it too much.  Anything that looks like

g = ...

syntactically (that means, as written in the file) cannot have a
polymorphic type-class restricted type (something with a "=>" in the
type).  The distinction being made is that "g = ..." has nothing but
space in between the "g" and the "=".  No parameters syntactically.

> Any thoughts on the other question about where I can go to understand
> Haskell's precedence/associativity rules better (and avoid so many
> parens)?

The Haskell Report, perhaps?

-- 
-- Matthew Danish -- user: mrd domain: cmu.edu
-- OpenPGP public key: C24B6010 on keyring.debian.org