jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Allow noreturn procs with void type (#6973)

Browse source
This commit is contained in:
cooldome 2017-12-27 12:09:24 +03:00 • committed by Andreas Rumpf
commit 53cf0b2c24
2 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/pragmas.nim
View file

@ -771,7 +771,7 @@ proc singlePragma(c: PContext, sym: PSym, n: PNode, i: int,
of wNoreturn: of wNoreturn:
noVal(it) noVal(it)
incl(sym.flags, sfNoReturn) incl(sym.flags, sfNoReturn)
if sym.ast[paramsPos][0].kind != nkEmpty: if sym.typ[0] != nil:
localError(sym.ast[paramsPos][0].info, errNoReturnWithReturnTypeNotAllowed) localError(sym.ast[paramsPos][0].info, errNoReturnWithReturnTypeNotAllowed)
of wDynlib: of wDynlib:
processDynLib(c, it, sym) processDynLib(c, it, sym)

4
tests/pragmas/tnoreturn.nim
View file

@ -5,6 +5,10 @@ ccodeCheck: "\\i @'__attribute__((noreturn))' .*"
proc noret1*(i: int) {.noreturn.} = proc noret1*(i: int) {.noreturn.} =
echo i echo i
proc noret2*(i: int): void {.noreturn.} =
echo i
var p {.used.}: proc(i: int): int var p {.used.}: proc(i: int): int
doAssert(not compiles( doAssert(not compiles(
p = proc(i: int): int {.noreturn.} = i # noreturn lambda returns int p = proc(i: int): int {.noreturn.} = i # noreturn lambda returns int