[Haskell-cafe] Type inference doesn't always calculate the most generic type?
allbery.b at gmail.com
Thu May 28 21:00:15 UTC 2015
On Thu, May 28, 2015 at 4:54 PM, Francesco Ariis <fa-ml at ariis.it> 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).
brandon s allbery kf8nh sine nomine associates
allbery.b at gmail.com ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe