Restricted Types and Infinite Loops [SOLVED, I think]
Simon David Foster
s.d.f at btinternet.com
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 btinternet.com>
More information about the Glasgow-haskell-users