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
22
23
24

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

type pos is (int x) where x > 0

type neg is (int x) where x < 0

type expr is pos | neg

function g(neg x) -> bool:
    return false

function f(expr e) :
    if e is pos:
        g((neg) e)

public export method test() :
    f(-1)
    f(1)

---
E400 main.whiley 16,6:7
E400 main.whiley 17,6