Re: [Haskell-cafe] Type inference doesn't always calculate the most generic type?

On Thu, May 28, 2015 at 4:54 PM, Francesco Ariis wrote:

I just fired up ghci:

λ> let mapabs = map abs λ> :t mapabs mapabs :: Num b => [b] -> [b]

ghc 7.10.1

Sufficiently recent ghc disables the monomorphism restriction inside ghci (only --- compiled code, including code compiled by ghci, as opposed to code entered at the prompt, still uses it). Try ":seti". -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net