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="RecordDefine_Valid_2"
======
>>> main.whiley


type Point is {int y, int x}

function f(Point x) -> Point:
    return x

public export method test() :
    Point p = f({y: 1, x: 1})
    assume p == {y: 1, x: 1}

---