diff --git a/parser/func_test.go b/parser/func_test.go index 09c9e53..18faa49 100644 --- a/parser/func_test.go +++ b/parser/func_test.go @@ -105,5 +105,15 @@ func ro hDataInit [= y:{Int} [loc x]] [= z:Int:8 (398 9 2309 983 -2387 478 555 123)] [= bird:Bird ((99999) 324)] +func ro iDereference + > w:Face + > x:{Int} + > y:{Int ..} + > z:Int:4 + --- + = a:Int {w Int} + = b:Int {x} + = c:Int {y 4} + = d:Int {z 3} `, test) } diff --git a/tests/parser/func/main.arf b/tests/parser/func/main.arf index b8ed2d3..7e3d6de 100644 --- a/tests/parser/func/main.arf +++ b/tests/parser/func/main.arf @@ -132,3 +132,14 @@ func ro hDataInit = bird:Bird ( (99999) 324) + +func ro iDereference + > w:Face + > x:{Int} + > y:{Int ..} + > z:Int:4 + --- + = a:Int {w Int} + = b:Int {x} + = c:Int {y 4} + = d:Int {z 3}