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
18
19
20

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


type expr is {int op, expr lhs} | {int[] err}

function f(expr e) -> int:
    if e is {int[] err}:
        return |e.err|
    else:
        return -1

public export method test() :
    int x = f({err: "Hello World"})
    assume x == 11
    x = f({op: 1, lhs: {err: "Gotcha"}})
    assume x == -1

---