2bd1aa186e* New/better macro pragmas, make some experimental fix #15920, close #18212, close #14781, close #6696, close https://github.com/nim-lang/RFCs/issues/220 Variable macro pragmas have been changed to only take a unary section node. They can now also be applied in sections with multiple variables, as well as `const` sections. They also accept arguments. Templates now support macro pragmas, mirroring other routine types. Type and variable macro pragmas have been made experimental. Symbols without parentheses instatiating nullary macros or templates has also been documented in the experimental manual. A check for a redefinition error based on the left hand side of variable definitions when using variable macro pragmas was disabled. This nerfs `byaddr` specifically, however this has been documented as a consequence of the experimental features `byaddr` uses. Given how simple these changes are I'm worried if I'm missing something. * accomodate compiler boot * allow weird pragmas * add test for #10994 * remove some control flow, try remove some logic
70 lines
2 KiB
Nim
70 lines
2 KiB
Nim
##[
|
|
tests for misc pragmas that don't need a separate file
|
|
]##
|
|
|
|
block:
|
|
static: doAssert not defined(tpragmas_misc_def)
|
|
{.undef(tpragmas_misc_def).} # works even if not set
|
|
static: doAssert not defined(tpragmas_misc_def)
|
|
{.define(tpragmas_misc_def).}
|
|
static: doAssert defined(tpragmas_misc_def)
|
|
{.undef(tpragmas_misc_def).}
|
|
static: doAssert not defined(tpragmas_misc_def)
|
|
|
|
block: # (partial fix) bug #15920
|
|
block: # var template pragmas don't work in templates
|
|
template foo(expr) =
|
|
expr
|
|
proc fun1()=
|
|
let a {.foo.} = 1
|
|
template fun2()=
|
|
let a {.foo.} = 1
|
|
fun1() # ok
|
|
fun2() # WAS bug
|
|
|
|
template foo2() = discard # distractor (template or other symbol kind)
|
|
block:
|
|
template foo2(expr) =
|
|
expr
|
|
proc fun1()=
|
|
let a {.foo2.} = 1
|
|
template fun2()=
|
|
let a {.foo2.} = 1
|
|
fun1() # ok
|
|
fun2() # bug: Error: invalid pragma: foo2
|
|
|
|
block: # template pragmas don't work for templates, #18212
|
|
# adapted from $nim/lib/std/private/since.nim
|
|
# case without overload
|
|
template since3(version: (int, int), body: untyped) {.dirty.} =
|
|
when (NimMajor, NimMinor) >= version:
|
|
body
|
|
when true: # bug
|
|
template fun3(): int {.since3: (1, 3).} = 12
|
|
|
|
block: # ditto, w
|
|
# case with overload
|
|
template since2(version: (int, int), body: untyped) {.dirty.} =
|
|
when (NimMajor, NimMinor) >= version:
|
|
body
|
|
template since2(version: (int, int, int), body: untyped) {.dirty.} =
|
|
when (NimMajor, NimMinor, NimPatch) >= version:
|
|
body
|
|
when true: # bug
|
|
template fun3(): int {.since2: (1, 3).} = 12
|
|
|
|
when true: # D20210801T100514:here
|
|
from macros import genSym
|
|
block:
|
|
template fn() =
|
|
var ret {.gensym.}: int # must special case template pragmas so it doesn't get confused
|
|
discard ret
|
|
fn()
|
|
static: discard genSym()
|
|
|
|
block: # issue #10994
|
|
macro foo(x): untyped = x
|
|
template bar {.pragma.}
|
|
|
|
proc a {.bar.} = discard # works
|
|
proc b {.bar, foo.} = discard # doesn't
|