whiley_test_file 0.6.2

An API for manipulating test files for the Whiley Programming Language.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

original.name="ArrayAccess_Invalid_3"
======
>>> main.whiley
type intList is int | int[]

type tup is {intList data, int mode}

function f({int data, int mode}[] x) -> {int data, int mode}[]:
    return x

method g() -> {int data, int mode}[]:
    tup[] tups = [{data: 1, mode: 0}, {data: [1, 2, 3], mode: 1}]
    tups[0].data = 1
    return f(tups)

---
E400 main.whiley 11,13:16