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

original.name="TypeEquals_Invalid_14"
======
>>> main.whiley
type State is {
    int|null current
}

method f(State s) -> {int current}:
    //
    if s.current is int:
        s.current = null
        return s
    else:
        return {current:0}
      

---
E400 main.whiley 9,15