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="Subtype_Invalid_9"
js.execute.ignore=true
======
>>> main.whiley
type scf9nat is (int n) where n > 0
type scf9tup is ({scf9nat f, int g} r) where r.g > r.f
type scf9arr is ({scf9nat f, int g}[] ls) where some { i in 0..|ls| | ls[i].f == 1 }

function f(scf9arr xs) -> int:
    return |xs|

public export method test() :
    {int f, int g}[] x = [{f: 1, g: 2}, {f: 4, g: 8}]
    x[0].f = 2
    f((scf9arr) x)
---
E702 main.whiley 11,6:16
E716 main.whiley 11,4:17