1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
discard """
output: '''good'''
cmd: "nim c --gc:orc -d:release $file"
"""
type
Raising[T, E] = object
proc foo[T, Errors](x: proc (x: Raising[T, Errors])) {.raises: Errors.} =
discard
proc callback(x: Raising[int, ValueError]) =
echo "callback"
proc xy() {.raises: [ValueError].} =
foo callback
proc x[E]() {.raises: [E, IOError].} =
raise newException(E, "text here")
try:
x[ValueError]()
except ValueError:
echo "good"
proc callback2(x: Raising[int, IOError]) =
discard
proc foo2[T, OtherErrors](x: proc(x: Raising[T, OtherErrors])) {.raises: [ValueError, OtherErrors].} =
discard
foo2 callback2
|
