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

original.name="UnionType_Valid_16"
======
>>> main.whiley


type IntList is {int | int[] op}

public export method test() :
    IntList x = {op: 2}
    x.op = 1
    IntList y = x
    assume y == {op: 1}
    x = {op: [1, 2, 3]}
    assume x == {op: [1,2,3]}

---