2 files changed, 26 insertions, 1 deletions
diff --git a/lib/core/macros.nim b/lib/core/macros.nim
index 4d13a076d..e8a16865e 100755
--- a/lib/core/macros.nim
+++ b/lib/core/macros.nim
@@ -208,7 +208,18 @@ proc getAst*(macroOrTemplate: expr): expr {.magic: "ExpandToAst".}
   ##
   ##   macro FooMacro() = 
   ##     var ast = getAst(BarTemplate())
-  
+
+template emit*(s: expr): stmt =
+  ## accepts a single sting argument and treats it as nimrod code
+  ## that should be inserted verbatim in the program
+  ## Example:
+  ## 
+  ##   emit("echo " & '"' & "hello world".toUpper & '"')
+  ##
+  block:
+    const evaluated = s
+    eval: result = evaluated.parseStmt
+
 proc expectKind*(n: PNimrodNode, k: TNimrodNodeKind) {.compileTime.} =
   ## checks that `n` is of kind `k`. If this is not the case,
   ## compilation aborts with an error message. This is useful for writing
diff --git a/lib/system.nim b/lib/system.nim
index b75f9022d..bfaa5eb8f 100755
--- a/lib/system.nim
+++ b/lib/system.nim
@@ -2213,6 +2213,20 @@ proc shallow*(s: var string) {.noSideEffect, inline.} =
     var s = cast[PGenericSeq](s)
     s.reserved = s.reserved or seqShallowFlag
 
+template static*(e: expr): expr =
+  ## evaluates a given expression `e` at compile-time
+  ## even if it has side effects
+  block:
+    const res = e
+    res
+
+template eval*(blk: stmt): stmt =
+  ## executes a block of code at compile time just as if it was a macro
+  ## optonally, the block can return an AST tree that will replace the 
+  ## eval expression
+  block:
+    macro payload(x: stmt): stmt = blk
+    payload()
 
 when defined(initDebugger):
   initDebugger()