keep param pragmas in typed proc AST (nim-lang#24711)

fixes nim-lang#24702
kiyolee · Feb 22, 2025 · 1f8da38 · 1f8da38
1 parent 1af88a2
commit 1f8da38
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 1 deletion.
diff --git a/compiler/semtypes.nim b/compiler/semtypes.nim
@@ -1501,7 +1501,10 @@ proc semProcTypeNode(c: PContext, n, genericParams: PNode,
       addParamOrResult(c, arg, kind)
       styleCheckDef(c, a[j].info, arg)
       onDef(a[j].info, arg)
-      a[j] = newSymNode(arg)
+      if a[j].kind == nkPragmaExpr:
+        a[j][0] = newSymNode(arg)
+      else:
+        a[j] = newSymNode(arg)
 
   var r: PType = nil
   if n[0].kind != nkEmpty:

diff --git a/tests/pragmas/tparamcustompragma.nim b/tests/pragmas/tparamcustompragma.nim
@@ -0,0 +1,16 @@
+discard """
+  nimout: '''
+proc foo(a {.attr.}: int) =
+  discard
+
+'''
+"""
+
+# fixes #24702
+
+import macros
+template attr*() {.pragma.}
+proc foo(a {.attr.}: int) = discard
+macro showImpl(a: typed) =
+  echo repr getImpl(a)
+showImpl(foo)