CakeML / CakeML/pure

Add an EnvLang pass that converts Delay Var into Box

Open
#37 0 comments 0 reactions 1 assignee Claimed by @myreen View on GitHub
back end enhancement
Dominant language
Standard ML
Stars
44
Forks
5
PR merge metrics
No merged PRs in 30d

Description

The compiler generates some `Delay`s that are very simple.

There ought to be a pass in EnvLang that does this:
```
Delay (Var v) --> Box v
```

This issue is directly related to #39.

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.