error handling - finally block

[delasy]

I was implementing Error Handling, and I didn't find a good solution for FINALLY statement. I would like to have it but can't find a solution. I will leave it open for people coming across, the only solution I can find is this, the problems it has, with FINALLY not going to be executed when:

1. return in try or catch blocks
2. at exit

If someone has ideas how to implement it feel free to share down below.
Current codegen for try/catch looks like this (it's not exact but just to give you the idea):

switch (setjmp(jmp_buf)) {
  case 0: {
    // try body
    break;
  }
  case 31: { // catch err: error_Error
    // catch body
    break;
  }
  case 35: { // catch err: ErrorCustom
    // catch body
    break;
  }
  default: { // Unhandled Error
    break;
  }
}

[delasy]

We can declare "finally" as a cleanup block that always should be visited AFTER try-catch block. The solution could be:

file_t file = file_open();
{
  switch (setjmp(jmp_buf)) {
    case 0: {
      // try body
      goto L1;
      break;
    }
    case TYPE_error_Error: { // catch err: error_Error
      // catch body
      goto L1;
      break;
    }
    default: { // Unhandled Error
      goto L1;
      break;
    }
  }
L1:
  file_close(file);
}

[delasy]

Not sure if we need this feature though, if this issue gets enough upvotes I will start on implementing it