CakeML / CakeML/pure

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

Open
#15 2 comments 0 reactions 0 assignees View on GitHub
back end
Dominant language
Standard ML
Stars
44
Forks
5
PR merge metrics
No merged PRs in 30d

Description

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.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.