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

original.name="TupleDefine_Invalid_2"
js.execute.ignore=true
======
>>> main.whiley
type point is ({int y, int x} _this) where (_this.x > 0) && (_this.y > 0)

function f(point p) -> point:
    return p

public export method test():
    point p = {y: 1, x: -1}
    f(p)
---
E702 main.whiley 7,14:26
E718 main.whiley 7,14:26