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="UnionType_Invalid_10"
js.execute.ignore=true
======
>>> main.whiley
type nat is (int n) where n >= 0
type natlist is nat[]

type nlt is nat | natlist

function g(int y) -> nlt:
    return (nlt) y

public export method test():
    g(0)
    g(-1)
---
E702 main.whiley 7,11:17
E717 main.whiley 7,4:17