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

original.name="Lambda_Valid_5"
======
>>> main.whiley


method f(int x) -> int:
    return x + 1

method g(method func(int) -> int, int p) -> int:
    return func(p)

public export method test() :
    int y = g(&(int x -> f(x + 1)), 5)
    assume y == 7

---