ghc7 typing problem

Christian Maeder Christian.Maeder at
Fri Oct 15 12:53:21 EDT 2010


I've looked at:

but still have a problem with the attached program that fails with:

GHCi, version 7.1.20101010:  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done.
[1 of 1] Compiling Main             ( HasKey.hs, interpreted )

    Couldn't match type `key' with `key1'
      because this skolem type variable would escape: `key1'
    This skolem is bound by the instance declaration
    In the instance declaration for `Ord (Keyed x)'

at the final instance for Ord.

The original code comes from

Cheers Christian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: HasKey.hs
Type: text/x-haskell
Size: 488 bytes
Desc: not available
Url :

More information about the Glasgow-haskell-users mailing list