support if-then-else - Githubissues

abau / co4

COmplexity COncerned COnstraint COmpiler

GNU General Public License v3.0

2 stars 3 forks source link

support if-then-else #104

Closed abau closed 10 years ago

abau commented 10 years ago

...by transformation to case-distinctions

abau commented 10 years ago

Note that the previous fix only works with ImportPrelude because the condition's type in an if-then-else expression is GHC.Types.Bool and must not be user-defined.