Rewrote func test case
This commit is contained in:
parent
f58fe4cf26
commit
56a3ca509a
@ -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)
|
||||
}
|
||||
|
@ -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}
|
||||
|
Reference in New Issue
Block a user