v-nys / cclp

A rewrite of my implementation of the Compiling Control technique, in Racket.
MIT License
1 stars 0 forks source link

Pattern matching failure in candidate-and-predecessors #51

Closed v-nys closed 7 years ago

v-nys commented 7 years ago

See primes program, after node 66 has been assigned its index.

v-nys commented 7 years ago

The case which is unaccounted for is a generalization followed by a cycle.

v-nys commented 7 years ago

Fixed in a70afee7f8c22800d21e8737f5755ead269754dc.