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="MethodRef_Invalid_5"
======
>>> main.whiley
type nat is (int x) where x >= 0
type Transformer is function(int)->(int)

method g(int y) -> (int z):
    return y

method f() -> Transformer:
    return &(nat x -> g(x))

---
E400 main.whiley 8,11:26