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
21
22

original.name="Tuple_Invalid_3"
js.execute.ignore=true
======
>>> main.whiley
type nat is (int n) where n >= 0
type pair is {nat first, nat second}

function get(pair p) -> (int f, int s):
    return p.first, p.second

function min(pair p) -> int:
    (int x, int y) = get(p)
    if x > y:
        return y
    else:
        return x

public export method test():
    int m = min({first: 1, second: -1})
---
E702 main.whiley 15,16:37
E716 main.whiley 15,12:38