Restricted Types and Infinite Loops [SOLVED, I think]

Simon David Foster s.d.f at
Fri Feb 18 05:13:50 EST 2005

Whoops, I should have tried it first. Amazingly, this seems to works.
But I'm not sure I understand why, a still depends on XMLNamespace,
because of the dictionary instance;

instance (Data (DictXMLData b) a, XMLHook b a, XMLData b a, XMLNamespace
a) => Sat (DictXMLData b a) where

But I guess it's because the dependency on XMLNamespace comes in the
instances, rather than the class head.


Simon David Foster <s.d.f at>

More information about the Glasgow-haskell-users mailing list