Date: Tue, 23 Feb 93 17:18:19 GMT
From: wadler <[EMAIL PROTECTED]>
...
I don't understand. Can't you handle this is as follows?
data FooTree a b = Leaf b | Node a (FooTree a b) a (FooTree a b)
data Annote a b c = MkAnnote Info (FooTree (Annote a b c) b) c
and then infer that what you are acting on is a
FooTree (Annote a b c) b.
The c field can be omitted, or it can be instantiated to additional
annotation information later on.
I'm sure you can hack around the problem, but it's not yet clear
to me that there isn't an elegant solution. Cheers, -- P
This looks promising. I'll have to ponder it some.
(Don't worry if you don't hear more from me for a while--
I'm out of town for a couple of weeks soon.)
--Guy
