added macros.genSym

compiler/ast.nim

@@ -488,7 +488,7 @@ type
     mNNewNimNode, mNCopyNimNode, mNCopyNimTree, mStrToIdent, mIdentToStr,
     mNBindSym, mLocals, mNCallSite,
     mEqIdent, mEqNimrodNode, mNHint, mNWarning, mNError,
-    mInstantiationInfo, mGetTypeInfo
+    mInstantiationInfo, mGetTypeInfo, mNGenSym
 
 # things that we can evaluate safely at compile time, even if not asked for it:
 const

compiler/evals.nim

@@ -1249,6 +1249,16 @@ proc evalMagicOrCall(c: PEvalContext, n: PNode): PNode =
   of mNBindSym:
     # trivial implementation:
     result = n.sons[1]
+  of mNGenSym:
+    evalX(n.sons[1], {efLValue})
+    let k = getOrdValue(result)
+    evalX(n.sons[2], {efLValue})
+    let b = result
+    let name = if b.strVal.len == 0: ":tmp" else: b.strVal
+    if k < 0 or k > ord(high(TSymKind)):
+      internalError(n.info, "request to create a symbol with invalid kind")
+    result = newSymNode(newSym(k.TSymKind, name.getIdent, c.module, n.info))
+    incl(result.sym.flags, sfGenSym)
   of mStrToIdent: 
     result = evalAux(c, n.sons[1], {})
     if isSpecial(result): return 

lib/core/macros.nim

@@ -85,11 +85,13 @@ type
   TNimTypeKinds* = set[TNimrodTypeKind]
   TNimrodSymKind* = enum
     nskUnknown, nskConditional, nskDynLib, nskParam,
-    nskGenericParam, nskTemp, nskType, nskConst,
+    nskGenericParam, nskTemp, nskModule, nskType, nskVar, nskLet, 
-    nskVar, nskProc, nskMethod, nskIterator,
+    nskConst, nskResult,
+    nskProc, nskMethod, nskIterator,
     nskConverter, nskMacro, nskTemplate, nskField,
-    nskEnumField, nskForVar, nskModule, nskLabel,
+    nskEnumField, nskForVar, nskLabel,
     nskStub
+    
   TNimSymKinds* = set[TNimrodSymKind]
 
 type
@@ -220,6 +222,11 @@ proc bindSym*(ident: string, rule: TBindSymRule = brClosed): PNimrodNode {.
   ## If ``rule == brForceOpen`` always an ``nkOpenSymChoice`` tree is
   ## returned even if the symbol is not ambiguous.
 
+proc genSym*(kind: TNimrodSymKind = nskLet; ident = ""): PNimrodNode {.
+  magic: "NGenSym".}
+  ## generates a fresh symbol that is guaranteed to be unique. The symbol
+  ## needs to occur in a declaration context.
+
 proc callsite*(): PNimrodNode {.magic: "NCallSite".}
   ## returns the AST if the invokation expression that invoked this macro.
 

todo.txt

@@ -8,7 +8,6 @@ version 0.9.4
 - mocking support with ``tyProxy`` that does: fallback for ``.`` operator
   - overloading of ``.``? Special case ``.=``?
 - built-in 'getImpl'
-- macros.gensym still missing?
 - optimize 'genericReset'; 'newException' leads to code bloat
 
 

web/news.txt

@@ -14,6 +14,8 @@ Bugfixes
 Library Additions
 -----------------
 
+- Added ``macros.genSym`` builtin for AST generation.
+
 
 Changes affecting backwards compatibility
 -----------------------------------------