mirror of
https://github.com/nim-lang/Nim.git
synced 2025-12-28 17:04:41 +00:00
1e15f975b8
* enable stricteffects * add gcsafe * fix tests * use func * fixes pegs tests * explicitly mark repr related procs with noSideEffect * add nimLegacyEffects * change URL * fixes docopt * add `raises: []` to repr * fixes weave * fixes nimyaml * fixes glob * fixes parsetoml * Apply suggestions from code review * Update testament/important_packages.nim * add legacy:laxEffects
57 lines
1.2 KiB
Nim
57 lines
1.2 KiB
Nim
discard """
|
|
action: compile
|
|
"""
|
|
|
|
# XXX: it is not actually tested if the effects are inferred
|
|
|
|
type
|
|
PMenu = ref object
|
|
PMenuItem = ref object
|
|
|
|
proc createMenuItem*(menu: PMenu, label: string,
|
|
action: proc (i: PMenuItem, p: pointer) {.cdecl.}) = discard
|
|
|
|
var s: PMenu
|
|
createMenuItem(s, "Go to definition...",
|
|
proc (i: PMenuItem, p: pointer) {.cdecl.} =
|
|
try:
|
|
echo(i.repr)
|
|
except ValueError:
|
|
echo("blah")
|
|
)
|
|
|
|
|
|
proc noRaise(x: proc()) {.raises: [], effectsOf: x.} =
|
|
# unknown call that might raise anything, but valid:
|
|
x()
|
|
|
|
proc doRaise() {.raises: [IoError].} =
|
|
raise newException(IoError, "IO")
|
|
|
|
proc use*() =
|
|
noRaise(doRaise)
|
|
# Here the compiler inferes that EIO can be raised.
|
|
|
|
|
|
use()
|
|
|
|
# bug #12642
|
|
import os
|
|
|
|
proc raises() {.raises: Exception.} = discard
|
|
proc harmless() {.raises: [].} = discard
|
|
|
|
let x = if paramStr(1) == "true": harmless else: raises
|
|
|
|
let
|
|
choice = 0
|
|
|
|
proc withoutSideEffects(): int = 0
|
|
proc withSideEffects(): int = echo "foo" # the echo causes the side effect
|
|
|
|
let procPtr = case choice
|
|
of 0: withoutSideEffects
|
|
else: withSideEffects
|
|
|
|
echo procPtr.repr
|