diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-27 20:34:57 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-27 23:04:38 +0200 |
| commit | 0cbbe31c5f16df73dcc3a73b37cac4a72948f3a6 (patch) | |
| tree | f607a68d575ac670b9a637a967eabbe56f9257aa /test/asset/parser/type-annotation.et | |
| parent | d8420a37ffe9e752816b071fced4a972ca1fad23 (diff) | |
Accept various builtin types in type expressions
Diffstat (limited to 'test/asset/parser/type-annotation.et')
| -rw-r--r-- | test/asset/parser/type-annotation.et | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/test/asset/parser/type-annotation.et b/test/asset/parser/type-annotation.et index 811b54b..7e5d81e 100644 --- a/test/asset/parser/type-annotation.et +++ b/test/asset/parser/type-annotation.et @@ -1,8 +1,14 @@ -def fun (a : String) and (b : String): +def fun (a : String) and (b : Integer) proc (p : Process): let c = [ a, "x" ] - let d = [ b : String, "y" : String ] + let d = [ a ] + let e = [ b : Integer, 43 : Integer ] guard (c /= d) + guard (e == e) test Test: let x = "" : String - fun "a" and "b" + 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) |