aqua/aqua-src/antithesis.aqua

29 lines
411 B
Plaintext
Raw Permalink Normal View History

aqua Job declares *
export aaa, bbb
data Peer:
id: string
func aaa() -> Peer:
peer1 = Peer(id = "123")
peer2 = Peer(id = peer1.id)
<- peer2
data BrokenStruct:
fff: UnknownType
alias BrokenAlias: str3ng
ability BrokenAbility:
fff: str4ng
const BROKEN_CONST = UNKNOWN_CONST
func bbb() -> string:
<- 323
func ccc() -> Peer:
peer1 = Peer(id = "123")
peer2 = Peer(id = peer1.id)
<- peer2