stepwise removal (= lexicographic combination) is wrong

abau / co4

COmplexity COncerned COnstraint COmpiler

GNU General Public License v3.0

2 stars 3 forks source link

stepwise removal (= lexicographic combination) is wrong #80

Closed jwaldmann closed 10 years ago

jwaldmann commented 10 years ago

This does not look right: https://github.com/apunktbau/co4/blob/c6a276dcd31611b379403ba013a33cb24d36cc6c/tc/CO4/Test/TermComp2014/Standalone.hs#L155

If one (labelled and marked) rule is decreasing for one order, then it should be ignored in the following orders (it does not even have to be weakly decreasing).

I will rewrite this anyway because of "usable rules".

jwaldmann commented 10 years ago

needs some more testing, but looks reasonable, therefore closing.