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="TupleAssign_Invalid_2"
js.execute.ignore=true
======
>>> main.whiley
type tac2ta is ({int f1, int f2} r) where r.f1 < r.f2
type tac2tb is ({int f1, int f2} r) where (r.f1 + 1) < r.f2

function f(tac2tb y) -> tac2tb:
    return y

public export method test() :
    tac2ta x = {f1: 1, f2: 3}
    x.f1 = 2
    f((tac2tb) x)
---
E702 main.whiley 10,6:15
E716 main.whiley 10,4:16