cogent icon indicating copy to clipboard operation
cogent copied to clipboard

Published 20 hours ago • verified publisher icon au-ts

Shallow embedding of ArrayPut and ArrayTake

Open amblafont opened this issue 4 years ago • 1 comments

This PR implements the shallow embedding of ArrayPut, which is enough to compile the shallow embedding the led driver..

This PR also implements the shallow embedding of ArrayTake, but it couldn't be tested, as it seems the compilation of ArrayTake is not yet implemented (yielding TODO fvIP: PArrayTake unimplemented)

amblafont avatar Aug 21 '20 00:08 amblafont

Many of the missing things are on my wip-reftypes branch. Since on master there's no typechecking for array operations, many things were left out as they weren't needed or didn't make sense.

zilinc avatar Sep 10 '20 02:09 zilinc