On Sun, Jul 3, 2011 at 2:05 AM, Daniel Fischer <
[email protected]> wrote:

> But as I understand it, the concern is ghci, where truly local bindings are
> probably rare and type signatures are commonly omitted.
> So putting ":s -XNoMonomorphismRestriction" in the .ghci file probably
> prevents more confusion and inconvenience than it causes.


Especially given GHCi's extended defaulting rules which makes g = f 1 not
ambiguous.  [It sets a1 to ()]

  -- ryan
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to