unfolding:one for multi removes symbolic generation but not related symbolic sums

v-nys / cclp

A rewrite of my implementation of the Compiling Control technique, in Racket.

MIT License

1 stars 0 forks source link

unfolding:one for multi removes symbolic generation but not related symbolic sums #53

Closed v-nys closed 7 years ago

v-nys commented 7 years ago

If there is a multi with generations 1:l and there are related conjunctions with generation l+1,... the unfolding of multi gets generation 1, but the related conjunctions retain l+1 instead of 2,...

v-nys commented 7 years ago

May be able to cut some code from annotate-unfolding! once this is implemented.

v-nys commented 7 years ago

Fixed in 58d7e3599c037f4a11075d627a9213c94c902d3b