Re: Inferred type is less polymorphic than expected?

29 Jul 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  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

Re: Inferred type is less polymorphic than expected?

Thomas Jäger