declare result as noinit if routine is noinit (#374)

src/nimony/sem.nim

@@ -369,8 +369,13 @@ proc declareResult(c: var SemContext; info: PackedLineInfo): SymId =
     buildTree c.dest, ResultS, info:
       c.dest.add symdefToken(result, info) # name
       c.dest.addDotToken() # export marker
-      c.dest.addDotToken() # pragmas
-      # XXX ^ pragma should be `.noinit` if the proc decl has it
+      if NoInit in c.routine.pragmas:
+        c.dest.add parLeToken(PragmasS, info)
+        c.dest.add parLeToken(NoInit, info)
+        c.dest.addParRi()
+        c.dest.addParRi()
+      else:
+        c.dest.addDotToken() # pragmas
       c.dest.copyTree(c.routine.returnType) # type
       c.dest.addDotToken() # value
     publish c, result, declStart
@@ -2837,6 +2842,7 @@ proc semProc(c: var SemContext; it: var Item; kind: SymKind; pass: PassKind) =
     c.routine.returnType = semReturnType(c, it.n)
     var crucial = default CrucialPragma
     semPragmas c, it.n, crucial, kind
+    c.routine.pragmas = crucial.flags
     if crucial.hasVarargs.isValid:
       addVarargsParameter c, beforeParams, crucial.hasVarargs
     if crucial.magic.len > 0:

src/nimony/semdata.nim

@@ -19,6 +19,7 @@ type
     kind*: SymKind
     inGeneric*, inLoop*, inBlock*: int
     returnType*: TypeCursor
+    pragmas*: set[PragmaKind]
     resId*: SymId
     parent*: SemRoutine
 

tests/nimony/sysbasics/tresultnoinit.nif

@@ -0,0 +1,14 @@
+(.nif24)
+,1,tests/nimony/sysbasics/tresultnoinit.nim(stmts
+ (proc 5 :foo.0.tremd49gb1 . . . 8
+  (params) 4,6,lib/std/system.nim
+  (i -1) 16
+  (pragmas 2
+   (noinit)) . 29
+  (stmts
+   (result :result.0 .
+    (pragmas
+     (noinit)) ~25,6,lib/std/system.nim
+    (i -1) .)
+   (discard .) ~29
+   (ret result.0))))

tests/nimony/sysbasics/tresultnoinit.nim

@@ -0,0 +1 @@
+proc foo(): int {.noinit.} = discard