On 08/08/2012, at 8:15 AM, john skaller wrote:
> I have confirmed there is a bug in the recursion detection algorithm.
> Well actually not a bug so much as a design fault.
BTW: there's another bug in the same algorithm: it doesn't detect
unused children correctly. When I set Sexpr's str functio
I have confirmed there is a bug in the recursion detection algorithm.
Well actually not a bug so much as a design fault.
When I introduced the new instantiation algorithm, S_expr started
blowing up, in particular the str function. Here is the fixed version:
instance[T with Str[T]] Str[sexpr[T]]
