[Haskell-cafe] Why does Haskell not infer most general type?

[John Van Enk]

I don't believe that the monomorphism restriction has anything to do with
this. Removing it does not generalize the type.

On Tue, Apr 6, 2010 at 4:46 PM, Brandon S. Allbery KF8NH <
allbery at ece.cmu.edu> wrote:

> On Apr 6, 2010, at 15:56 , Job Vranish wrote:
>
> Is haskell supposed to always infer the most general type (barring
> extensions)?
>
>
> Look up the monomorphism restriction.
>
> --
> brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
> system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
> electrical and computer engineering, carnegie mellon university    KF8NH
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100406/9df457c8/attachment.html