[Haskell-beginners] Is this a GHC bug? Problem inferring type

[Brandon Allbery]

On Sat, Jun 8, 2013 at 2:54 PM, Michael Peternell
<michael.peternell at gmx.at>wrote:

> in my opinion this is a bug of ghc. maybe the implementation works exactly
> as it should, according to the specification: then it's a bug in the
> specification.
>
> Show a => a -> a -> String
>

...is not monomorphic. If you want that to be inferred, turn off the
monomorphism restriction. (And yes, many people *do* consider the
monomorphism restriction of standard Haskell to be a bug in the
specification.)

-- 
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://www.haskell.org/pipermail/beginners/attachments/20130608/15585ae7/attachment.htm>