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="TypeEquals_Valid_62"
whiley.compile.ignore=true
WhileyCompiler.issue=936
======
>>> main.whiley
// Example from #936
type Point is {int x, int y}
type Location is {int x, int y}

function toLocation(Point|Location pl) -> (Location r):
    if pl is Point:
        return Location{x:0,y:0}
    else: 
        return pl

public export method test():
    Point p = {x:1, y:2}
    Location l1 = {x:1, y:2}    
    Location l2 = {x:100, y:2033}
    //
    assume toLocation(p) == {x:0,y:0}
    assume toLocation(l1) == l1
    assume toLocation(l2) == {x:100,y:2033}
---