search

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

Fixes #213 #214

Closed dorchard closed 1 year ago

dorchard commented 1 year ago

Seems to fix the problem in copyUniqueArray. I think the problem was with here, making the array bigger: https://github.com/granule-project/granule/blob/dev-minor/runtime/src/Language/Granule/Runtime.hs#L250-L274

dorchard commented 1 year ago

Sorry ignore this.