mirror of
https://github.com/nim-lang/Nim.git
synced 2025-12-28 17:04:41 +00:00
e0ef859130
* fixes #17369 * megatest is green for --cpu:arm64 * docgen output includes more tags/raises * implemented 'effectsOf' * algorithm.nim: uses new effectsOf annotation * closes #18376 * closes #17475 * closes #13905 * allow effectsOf: [a, b] * added a test case * parameters that are not ours cannot be declared as .effectsOf * documentation * manual: added the 'sort' example * bootstrap with the new better options
28 lines
581 B
Nim
28 lines
581 B
Nim
discard """
|
|
errormsg: "s1 can raise an unlisted exception: CatchableError"
|
|
line: 27
|
|
"""
|
|
|
|
{.push warningAsError[Effect]: on.}
|
|
{.experimental: "strictEffects".}
|
|
|
|
# bug #18376
|
|
|
|
{.push raises: [Defect].}
|
|
type Call = proc (x: int): int {.gcsafe, raises: [Defect, CatchableError].}
|
|
|
|
type Bar* = object
|
|
foo*: Call
|
|
|
|
proc passOn*(x: Call) = discard
|
|
|
|
proc barCal(b: var Bar, s: string, s1: Call) =
|
|
#compiler complains that his line can throw CatchableError
|
|
passOn s1
|
|
|
|
|
|
proc passOnB*(x: Call) {.effectsOf: x.} = discard
|
|
|
|
proc barCal2(b: var Bar, s: string, s1: Call) =
|
|
passOnB s1
|