search

CakeML / pure

A verified compiler for a lazy functional language
Other
32 stars 4 forks source link

Make sure `case .. of True => ... | False => ...` compiles to `If ... ... ...` #15

Open myreen opened 2 years ago

myreen commented 2 years ago

Currently, cexp at source level doesn't have If. We need to make sure that the case expressions that really are If compile to If in CakeML.

myreen commented 2 years ago

Ah, @mn200 points out that If does exist but as a primitive op.

mn200 commented 2 years ago

But not available to cexp programs, as those primitive ops are for exp only.