blob: 9740768e374633958f5d2154147d0fd281ffa8b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
def fun (a : String) and (b : Integer) proc (p : Process):
let c = [ a, "x" ] : [ String ]
let d = [ a ]
let e = [ b : Integer, 43 : Integer ]:[Integer]
let f = [[ c, ["y"]]] : [[[ String ] ] ]
guard (c /= d)
guard (e == e)
test Test:
let x = "" : String
let y = (2 : Integer)
let z = (2 : Integer) + (y : Integer) : Integer
let re = /xyz/ : Regex
spawn as p
fun "a" and ((z) : Integer) proc (p : Process)
|