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
original.name="TypeEquals_Invalid_10"
======
>>> main.whiley
type List is null | { int data, List next }

function f(int|null x) -> (bool r):
    //
    if !(x is null || x >= 0):
        return x
    else:
        return false

---
E400 main.whiley 6,15