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

Brandon Allbery 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).
Try ":seti".

-- 
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...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150528/baf323ef/attachment.html>


More information about the Haskell-Cafe mailing list