Inferred type is less polymorphic than expected?

Thomas Jäger thjaeger at gmail.com
Fri Jul 29 19:46:54 EDT 2005


Hi,

This is not a bug, the restriction is actually mentioned in the
Haskell Report, section 4.5.2. However, the restriction was recently
lifted, so your code compiles fine with the current cvs ghc, see
> http://www.haskell.org/pipermail/glasgow-haskell-users/2005-July/008786.html

Thomas

On 7/29/05, Benjamin Franksen <benjamin.franksen at bessy.de> wrote:
> Bug.lhs:27:0:
>     Contexts differ in length
>     When matching the contexts of the signatures for
>       printer :: Viewer
>       printCatalog :: forall c. (Catalog c) => View c
>     The signature contexts in a mutually recursive group should all be
> identical


More information about the Glasgow-haskell-users mailing list