chore(main): release aqua 0.11.10

[fluencebot]

🤖 I have created a release beep boop

0.11.10 (2023-08-21)

Features

• compiler: Structural typing for data and abilities [fixes LNG-215] (#843) (019611a)
• parseq implementation (fixes LNG-223) (#840) (8060695)

Bug Fixes

• compiler: Generate stream restriction for scoped exprs [fixes LNG-222] (#841) (eb4cdb0)
• compiler: Refactor values [fixes LNG-57] (#821) (f562bd4)
• Fix release build command (#834) (6146f8e)

---

This PR was generated with Release Please. See documentation.

[linear]

LNG-57 Allow applying properties on complex expressions

if Op.identity(stream)! == "OK" doesn't parse

Version

0.7.2-303

Code

import "fluencelabs/aqua-lib/builtin.aqua"

func bug():
    stream: *string
    if Op.identity(stream)! == "OK":
        Op.noop()

Error

 % aqua run -i stream_bug.aqua -f 'bug()' --addr krasnodar-01
---- Syntax error: /Users/folex/Development/aqua_scripts/stream_bug.aqua:5:27
5     if Op.identity(stream)! == "OK":
                            ^=========
                            Expected symbol ':'

---- Syntax error: /Users/folex/Development/aqua_scripts/stream_bug.aqua:5:8
5     if Op.identity(stream)! == "OK":
         ^============================
         Expected one of these strings: '<<-'
         OR Expected symbol ':'
         OR Expected symbol '='
         OR Missing braces '()' after the function call (List(Expected symbol '('))
         OR Only results of a function call can be written to a stream

---- Syntax error: /Users/folex/Development/aqua_scripts/stream_bug.aqua:5:5
5     if Op.identity(stream)! == "OK":
      ^===============================
      Expected one of these strings: '<-', 'catch', 'co', 'else', 'for', 'join', 'on', 'otherwise', 'par', 'try'
      OR Expected symbols from 'A' to 'Z'

[linear]

LNG-222 Scope (`new`) generation for streams doesn't work with `try`

try makes compiler skip new for declared stream

func main():
        temp: *i8
        temp <<- 42

produces

(seq
 (call %init_peer_id% ("getDataSrv" "-relay-") [] -relay-)
 (xor
  (new $temp
   (ap 42 $temp)
  )
  (call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 0])
 )
)

while

func main():
    try:
        temp: *i8
        temp <<- 42

produces

(seq
 (call %init_peer_id% ("getDataSrv" "-relay-") [] -relay-)
 (xor
  (xor
   (ap 42 $temp)
   (null)
  )
  (call %init_peer_id% ("errorHandlingSrv" "error") [%last_error% 0])
 )
)

[linear]

LNG-215 Add structural subtyping for `data` and `ability`

This should compile:

aqua Main

export main

ability Smaller:
    arrow(x: i8) -> bool

ability Bigger:
    arrow(x: i8) -> bool
    field: string

func useSmaller{Smaller}() -> bool:
    <- Smaller.arrow(42)

data SmallerStruct:
    str: string

data BiggerStruct:
    str: string
    field: i8


func useSmallerStruct(s: SmallerStruct) -> string:
    <- s.str

func main():

    bigger = BiggerStruct(
        str = "bigger",
        field = 42
    )

    useSmallerStruct(bigger)

    closure = (x: i8) -> bool:
        <- x > 0

    bigger = Bigger(
        arrow = closure,
        field = "bigger"
    )

    useSmaller{bigger}()

Now compiler says that Number of fields does not match

[linear]

LNG-223 `for .. parsec` instruction for round-based protocols

[fluencebot]

🤖 Release is at https://github.com/fluencelabs/aqua/releases/tag/aqua-v0.11.10 🌻