Simple Rewrite Example is broken

ckaestne / TypeChef

Type checking ifdef variability

https://ckaestne.github.io/TypeChef/

Other

76 stars 36 forks source link

Closed ckaestne closed 13 years ago

ckaestne commented 13 years ago

Worked before.

now the rewrite produces a solution that is not even correctly typed

see de.fosd.typechef.crewrite.RewriteTest

joliebig commented 13 years ago

after fixing the types both examples worked correctly