An exception might exist after an except clause

[alaviss]

An effect of this is that the exception will be logically "leaked" for the remainder of the program.

Reproducible with both exceptions:goto and exceptions:setjmp. Not reproducible with cpp exceptions.

Example

proc main() =
  try:
    try:
      raise newException(CatchableError, "something")
    except:
      raise newException(CatchableError, "something else")
  except:
    doAssert getCurrentExceptionMsg() == "something else"

  let msg = getCurrentExceptionMsg()
  doAssert msg == "", "expected empty string but got: " & $msg

main()

Current Output

in.nim(13)     in
in.nim(11)     main
assertions.nim(30) failedAssertImpl
assertions.nim(23) raiseAssert
fatal.nim(49) sysFatal
Error: unhandled exception: in.nim(11, 12) `msg == ""` expected empty string but got: something [AssertionDefect]

Expected Output

Successfully run

Additional Information

Found while evaluating exceptions semantics for implementation in CPS

$ nim -v
Nim Compiler Version 1.5.1 [Linux: amd64]
Compiled at 2021-05-23
Copyright (c) 2006-2021 by Andreas Rumpf

git hash: 61630c6aee56acf688c48c00f5a6711a59e79616
active boot switches: -d:release -d:nimUseLinenoise