aqua/aqua-src/antithesis.aqua

mirror of https://github.com/fluencelabs/aqua.git synced 2024-12-04 22:50:18 +00:00
data A:
  b: []*string

func test():
  inner: *string
  arr = [inner]
  a = A(b = arr)
checking types for their validity 2023-11-06 10:41:10 +00:00			`data A:`
			`b: []*string`

			`func test():`
			`inner: *string`
			`arr = [inner]`
			`a = A(b = arr)`