[Haskell-cafe] Strange context reduction with partial application and casting

[Ryan Ingram]

On Sun, Jul 3, 2011 at 2:05 AM, Daniel Fischer <
daniel.is.fischer at googlemail.com> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110703/bf428ac9/attachment.htm>