summaryrefslogtreecommitdiff
path: root/test/asset/parser/type-annotation.et
blob: 7e5d81e1a0a1335116251000dc84209e5dfc90c9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
def fun (a : String) and (b : Integer) proc (p : Process):
    let c = [ a, "x" ]
    let d = [ a ]
    let e = [ b : Integer, 43 : Integer ]
    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)