WhileyCompiler icon indicating copy to clipboard operation
WhileyCompiler copied to clipboard

Array Dereference Operator

Open DavePearce opened this issue 5 years ago • 0 comments

(see also #985)

Currently, the following is not supported:

&(int[]) p = new [1,2,3]
(*p)[0] = 2

The problem is that is claims we cannot dereference dynamically sized type. One possible solution is to update the test so that it's aware we're doing a "partial update".

DavePearce avatar Dec 11 '19 01:12 DavePearce