diff options
Diffstat (limited to 'test/asset/parser/type-annotation.et')
| -rw-r--r-- | test/asset/parser/type-annotation.et | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/asset/parser/type-annotation.et b/test/asset/parser/type-annotation.et index 7e5d81e..9740768 100644 --- a/test/asset/parser/type-annotation.et +++ b/test/asset/parser/type-annotation.et @@ -1,7 +1,8 @@ def fun (a : String) and (b : Integer) proc (p : Process): - let c = [ a, "x" ] + let c = [ a, "x" ] : [ String ] let d = [ a ] - let e = [ b : Integer, 43 : Integer ] + let e = [ b : Integer, 43 : Integer ]:[Integer] + let f = [[ c, ["y"]]] : [[[ String ] ] ] guard (c /= d) guard (e == e) |