4ca2dcb404* Breaking parser changes, implement https://github.com/nim-lang/RFCs/issues/442 Types are separated from expressions and better reflected in the grammar. * add test * more accurate grammar * fix keyword typedescs * accept expressions in proc argument lists * CI "fixes" * fixes * allow full ref expressions again, adapt old tests * cleanup, fix some tests * improve grammar, try and revert semtypes change * restrict sigil binding to identOrLiteral * fix, should have caught this immediately * add changelog entry, fix double not nil bug * correct grammar * change section * fix * real fix hopefully * fix test * support LL(1) for tuples * make grammar.txt too
37 lines
1.8 KiB
Nim
37 lines
1.8 KiB
Nim
discard """
|
|
nimoutFull: true
|
|
action: "reject"
|
|
cmd: "nim r --hint:Conf:off $file"
|
|
nimout: '''
|
|
tdiagnostic_messages.nim(36, 6) Error: 'a' can have side effects
|
|
> tdiagnostic_messages.nim(37, 30) Hint: 'a' calls `.sideEffect` 'callWithSideEffects'
|
|
>> tdiagnostic_messages.nim(29, 6) Hint: 'callWithSideEffects' called by 'a'
|
|
>>> tdiagnostic_messages.nim(31, 34) Hint: 'callWithSideEffects' calls `.sideEffect` 'indirectCallViaVarParam'
|
|
>>>> tdiagnostic_messages.nim(25, 6) Hint: 'indirectCallViaVarParam' called by 'callWithSideEffects'
|
|
>>>>> tdiagnostic_messages.nim(26, 7) Hint: 'indirectCallViaVarParam' calls routine via hidden pointer indirection
|
|
>>> tdiagnostic_messages.nim(32, 33) Hint: 'callWithSideEffects' calls `.sideEffect` 'indirectCallViaPointer'
|
|
>>>> tdiagnostic_messages.nim(27, 6) Hint: 'indirectCallViaPointer' called by 'callWithSideEffects'
|
|
>>>>> tdiagnostic_messages.nim(28, 32) Hint: 'indirectCallViaPointer' calls routine via pointer indirection
|
|
>>> tdiagnostic_messages.nim(33, 3) Hint: 'callWithSideEffects' calls `.sideEffect` 'myEcho'
|
|
>>>> tdiagnostic_messages.nim(24, 6) Hint: 'myEcho' called by 'callWithSideEffects'
|
|
>>> tdiagnostic_messages.nim(34, 3) Hint: 'callWithSideEffects' accesses global state 'globalVar'
|
|
>>>> tdiagnostic_messages.nim(23, 5) Hint: 'globalVar' accessed by 'callWithSideEffects'
|
|
|
|
'''
|
|
"""
|
|
|
|
var globalVar = 0
|
|
proc myEcho(a: string) {.sideEffect.} = discard
|
|
proc indirectCallViaVarParam(call: var proc(): int {.nimcall.}): int =
|
|
call()
|
|
proc indirectCallViaPointer(call: pointer): int =
|
|
cast[ptr proc(): int](call)[]()
|
|
proc callWithSideEffects(): int =
|
|
var p = proc (): int {.nimcall.} = 0
|
|
discard indirectCallViaVarParam(p)
|
|
discard indirectCallViaPointer(addr p)
|
|
myEcho ""
|
|
globalVar
|
|
|
|
func a: int =
|
|
discard callWithSideEffects()
|