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
19
20
21

original.name="Lambda_Invalid_5"
======
>>> main.whiley
type fun_t<T> is function(T)->(int)

function inc(int x) -> (int y)
ensures y == x + 1:
    //
    return x+1

function id<T>(T x) -> T:
    return x

method test():
    // following is broken!!
    fun_t<int|bool> fn = id(&inc)
    // because it allows following
    assume fn(false) == 0
    
---
E400 main.whiley 13,28:31