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

original.name="RecursiveType_Invalid_1"
js.execute.ignore=true
======
>>> main.whiley

type nat is (int n) where n >= 0

type LinkedList is int | {LinkedList next, int data}

function sum(LinkedList list) -> nat:
    if list is int:
        return 0
    else:
        return list.data + sum(list.next)

public export method test():
   LinkedList l1 = 0
   LinkedList l2 = {next:l1, data:1}
   LinkedList l3 = {next:l2, data:2}
   LinkedList l4 = {next:l3, data:-100}
   assume sum(l1) == 0
   assume sum(l2) == 1
   assume sum(l3) == 3
   assume sum(l4) == -97
---
E702 main.whiley 10,15:40
E717 main.whiley 10,8:40