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
25
26
27
28
29
30
31
32
33

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

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

function to_nat(int|bool x) -> (int y):
    if x is int:
        return x
    else if x:
        return 1
    else:
        return 0

function map<T>(T[] items, fun_t<T> fn) -> int[]:
    int[] r = [0; |items|]
    //
    for i in 0..|items| where |r| == |items|:
        r[i] = fn(items[i])
    //
    return r

public export method test():
    //
    assume map([1,2,3],&inc) == [2,3,4]
    // following could coerce [1,2,3] into int|bool[]
    assume map([1,2,3],&to_nat) == [1,2,3]
    // prevent coercion
    int[] xs = [4,5,6]
    assume map(xs,&to_nat) == [4,5,6]
---