diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2021-09-02 12:10:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-02 12:10:14 +0200 |
| commit | e0ef859130f429df1891e31a85955daa753346b4 (patch) | |
| tree | 49c680c4e93a321a319e38168dd14483c2a9b71e /tests/effects/tstrict_effects.nim | |
| parent | 72fa5833adac590e3c78e2b774cd33f28827594b (diff) | |
| download | Nim-e0ef859130f429df1891e31a85955daa753346b4.tar.gz | |
strict effects (#18777)
* 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
Diffstat (limited to 'tests/effects/tstrict_effects.nim')
| -rw-r--r-- | tests/effects/tstrict_effects.nim | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/tests/effects/tstrict_effects.nim b/tests/effects/tstrict_effects.nim new file mode 100644 index 000000000..eee8fb71a --- /dev/null +++ b/tests/effects/tstrict_effects.nim @@ -0,0 +1,27 @@ +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 |