From 0cbbe31c5f16df73dcc3a73b37cac4a72948f3a6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Thu, 27 Aug 2026 20:34:57 +0200 Subject: Accept various builtin types in type expressions --- test/asset/parser/type-annotation.et | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'test') 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) -- cgit v1.2.3