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)