aqua/aqua-src/test/rename.aqua

19 lines
537 B
Plaintext

export some_string as string_from_lib
-- some_string must be renamed as string_from_lib in TS
func some_string() -> string:
<- "some_string_func"
service TestServiceRename("test-service"):
get_records(key: string) -> []string
func append_records(peer: string, srum: *[]string):
srum <- TestServiceRename.get_records(peer)
func retrieve_records(peer: string) -> [][]string:
records: *[]string
-- srum in `append_records` should be renamed as `records` in resulted AIR
append_records(peer, records)
<- records