Misplaced Block AST due to syntax error

[simerplaha]

Overview

fn (param: -> {
    param

The above code has following missing syntax:

• Function name
• Param Type
• Closing paren
• Return type
• Closing brace

It will still produce the correct go-to-definition results:

fn (>>param<<: -> {
  para@@m

And the Block still gets parsed as expected, i.e., as a child of the Function's AST:

• Body
  • Function
    • FunctionSignature
    • Block

Issue

fn (param: - {
    param

An error in the return signature -> (removed >) causes the Block to be parsed as a sibling of the Function AST.

• Body
  • Function
    • FunctionSignature
  • Block

This means that the Block is no longer within the scope of the Function, causing the function parameter param inaccessible to the Block.

Expected

The first occurring Block should always be parsed a child of the parent expecting a block (while, for etc), for all syntax errors. The parent in this case is the Function AST.