`share` seems to produce a runtime error

granule-project / granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

https://granule-project.github.io

BSD 3-Clause "New" or "Revised" License

589 stars 33 forks source link

`share` seems to produce a runtime error #213

Closed dorchard closed 1 year ago

dorchard commented 1 year ago

frontend/tests/cases/positive/unique/copyUniqueArray.gr seems to be failing again (possibly a merge issue), with an out of bounds error. Looks like the problem is in implementing the share/borrow primitive.