eclipse-archived / golo-lang

Golo - a lightweight dynamic language for the JVM.
http://golo-lang.org/
Eclipse Public License 2.0
478 stars 91 forks source link

Nested try block #557

Closed yloiseau closed 4 years ago

yloiseau commented 4 years ago

When nesting try blocks, we can't try...catch in the finally clause. Given

  try {
    println("try")
  } finally {
    try {
      println("finally")
    } catch(e) {
      println("in catch")
    }
  }

compilation is OK, but execution fails with

java.lang.VerifyError: Instruction type does not match stack map

that seems to indicate an error in the generated bytecode.

Other combination of nesting seems OK.