On Dec 1, 2007 6:43 PM, PR Stanley <prstanley@ntlworld.com > wrote:

Hi
 > type assoc k v = [(k, v)]

works beautifully and everything makes sense.

 > type Assoc v = (Ord k) => [(k, v)]

This doesn't work. Is there any wayof defining k as an element of
type Ordinal. I could redefine k by putting Char or Int in its place.
Why can't I be more general?
Thanks,
Paul

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe