closures wip (#1172)

Author: Araq

doc/tags.md

@@ -127,6 +127,7 @@
 | `(nimcall)` | CallConv | `nimcall` calling convention |
 | `(inline)` | NifcPragma, NimonyPragma, NifIndexKind | `inline` proc annotation |
 | `(noinline)` | NifcPragma, NimonyPragma | `noinline` proc annotation |
+| `(closure)` | NimonyPragma | `closure` proc annotation; not a calling convention anymore, simply annotates a proc as a closure |
 | `(attr STR)` | NifcPragma | general attribute annoation |
 | `(varargs)` | NifcPragma, NimonyPragma, NimonyType | `varargs` proc annotation |
 | `(was STR)` | NifcPragma | |
@@ -292,3 +293,4 @@
 | `(internalFieldPairs T X)` | NimonyExpr | variant of fieldPairs iterator returns compiler's internal field name |
 | `(failed X)` | NimonyExpr | used to access the hidden failure flag for raising calls |
 | `(is X T)` | NimonyExpr | `is` operator |
+| `(envp T Y)` | NimonyExpr | `envp.Y` field access to hidden `env` parameter which is of type `T` |

src/hexer/desugar.nim

@@ -736,7 +736,7 @@ proc tr(c: var Context; dest: var TokenBuf; n: var Cursor; isTopScope = false) =
       of ProcS, FuncS, MacroS, MethodS, ConverterS:
         trProc c, dest, n
       of IteratorS, TemplateS, EmitS, BreakS, ContinueS,
-        ForS, CmdS, IncludeS, ImportS, FromimportS, ImportExceptS,
+        ForS, IncludeS, ImportS, FromimportS, ImportExceptS,
         ExportS, CommentS,
         PragmasS:
         takeTree dest, n

src/hexer/duplifier.nim

@@ -916,6 +916,8 @@ proc tr(c: var Context; n: var Cursor; e: Expects) =
       trDeref c, n
     of DdotX:
       bug "nodekind should have been eliminated in desugar.nim"
+    of EnvpX:
+      bug "envp should have been eliminated in lambdalifting.nim"
     of DefaultobjX, DefaulttupX, BracketX, CurlyX, TupX:
       bug "nodekind should have been eliminated in sem.nim"
     of PragmaxX, CurlyatX, TabconstrX, DoX, FailedX: