tests/effects/teffects5.nim


1
2
3
4
5
6
7
8
9
10
11
12
13
14

discard """
  errormsg: "type mismatch"
  line: 7
"""

proc p(q: proc() ): proc() {.tags: [], raises: [], closure.} =
  return proc () =
    q()

let yay = p(proc () = raise newException(EIO, "IO"))

proc main() {.raises: [], tags: [].} = yay()

main()