CakeML / CakeML/cakeml

Pancake while loop/if-statement conditions with function calls

Open
#1,130 0 comments 0 reactions 0 assignees View on GitHub
Pancake
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

Currently there isn't a direct way to put function calls into while loop and if-statement conditions. For example:
```c
fun return0() {return 0;}

fun main() {
if (return0() != 0)
{
return 1;
}
return 0;
}
```
doesn't work. Would be a lot more convenient if this can be supported.

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.