s-similarity in pathological sameleaves example

v-nys / cclp

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

MIT License

1 stars 0 forks source link

s-similarity in pathological sameleaves example #31

Closed v-nys closed 7 years ago

v-nys commented 7 years ago

This should not happen for branches other than the first, but it does. Most likely, atom symbols are not being checked everywhere.

Then again, maybe the control compiler should just notice the fact that a target atom unifies with the heads of two clauses (where one is recursive)...