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

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


type Expr is {int num} | {int op, Expr rhs, Expr lhs} | {int[] err}

function parseTerm() -> Expr:
    return parseIdentifier()

function parseIdentifier() -> Expr:
    return {err: "err"}

public export method test() :
    Expr e = parseTerm()
    assume e == {err: "err"}

---