From 880c36a666e3ee36066719a09a5294be2cfa3e93 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Thu, 27 Aug 2026 21:07:20 +0200 Subject: Parse list types in type expression --- test/asset/parser/type-annotation.et | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'test/asset') 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) -- cgit v1.2.3