whiley_test_file 0.6.2

original.name="UnknownReference_Valid_3"
js.execute.ignore=true
Whiley2JavaScript.issue=44
======
>>> main.whiley
type OpenPoint is {int x, int y, ...}

method zeroOut((&OpenPoint)[] points):
    //
    int i =0
    //
    while i < |points| where i >= 0:
        &OpenPoint p = points[i]
        p->x = 0
        p->y = 0
        i = i + 1
    //
    return

public export method test():
    &{int x, int y, int z} p1 = new {x:1,y:2,z:3}
    &{int x, int y} p2 = new {x:4,y:5}
    &{int x, int y, int z, int c} p3 = new {x:6,y:7,z:8,c:9}
    // Zero out visible fields
    zeroOut([p1,p2,p3])
    //
    assume *p1 == {x:0,y:0,z:3}
    assume *p2 == {x:0,y:0}
    assume *p3 == {x:0,y:0,z:8,c:9}


---