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

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@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@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe