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

Graham Gill math.simplex at gmail.com
Sat Jun 8 22:15:53 CEST 2013


On 08/06/2013 4:11 PM, Peter Hall wrote:
>
>
>         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.)
>
>
> When are we due a new spec? 1998 was quite a while ago...
>
> Peter

2010 <http://www.haskell.org/haskellwiki/Haskell_2010>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20130608/498769a1/attachment-0001.htm>


More information about the Beginners mailing list