CakeML / CakeML/cakeml

Pancake array support

Open
#1,039 1 comment 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

As discussed it might be a good idea to support c-like arrays in pancake. For example
```c
var arr_ptr = @base;
var offset = 4 * 8;
stw arr_ptr + offset, 42;
var x = lds 1 arr_ptr + offset;
```
can be written as
```c
var arr_ptr = @base;
arr_ptr[4] = 42;
var x = arr_ptr[4];
```
That'll certainly make implementation easier and benefit code readability. And potentially also make it easier to translate to ATP intermediate language like silver.

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.