search

abau / co4

COmplexity COncerned COnstraint COmpiler
GNU General Public License v3.0
2 stars 3 forks source link

linear interpretation: coefficients should be (nat 1) instead of Bool #74

Closed jwaldmann closed 10 years ago

jwaldmann commented 10 years ago

as soon as issue #73 is fixed, change

data LinearFunction = LinearFunction Nat [Bool]

(back) to

data LinearFunction = LinearFunction Nat [Nat]

and have the allocator build 

LinearFunction (nat 4) [nat 1]
jwaldmann commented 10 years ago

for the moment we keep LinearFunction Nat [Bool] because if this still allows to prove termination, we can brag more about it ...