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 < allb...@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] allb...@kf8nh.com > system administrator [openafs,heimdal,too many hats] allb...@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 > >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe