bugfix: 'nimrod i' works again

compiler/sem.nim

@@ -215,6 +215,8 @@ proc SemStmtAndGenerateGenerics(c: PContext, n: PNode): PNode =
       if result.kind != nkEmpty: addSon(a, result)
       result = a
   result = hloStmt(c, result)
+  if gCmd == cmdInteractive and not isEmptyType(result.typ):
+    result = buildEchoStmt(c, result)
   result = transformStmt(c.module, result)
     
 proc RecoverContext(c: PContext) = 

compiler/semexprs.nim

@@ -712,13 +712,12 @@ proc semExprNoType(c: PContext, n: PNode): PNode =
              sfDiscardable in n.sons[0].sym.flags
   result = semExpr(c, n, {efWantStmt})
   if result.typ != nil and result.typ.kind notin {tyStmt, tyEmpty}:
-    if gCmd == cmdInteractive:
+    if result.kind == nkNilLit:
-      result = buildEchoStmt(c, result)
-    elif result.kind == nkNilLit:
       # XXX too much work and fixing would break bootstrapping:
       #Message(n.info, warnNilStatement)
       result.typ = nil
-    elif not ImplicitelyDiscardable(result) and result.typ.kind != tyError:
+    elif not ImplicitelyDiscardable(result) and result.typ.kind != tyError and
+        gCmd != cmdInteractive:
       localError(n.info, errDiscardValue)
   
 proc isTypeExpr(n: PNode): bool = 

tests/specials.nim

@@ -202,3 +202,7 @@ proc compileSpecialTests(r: var TResults, options: string) =
   compileDLLTests(r, options)
   compileDebuggerTests(r, options)
 
+  var given = callCompiler("nimrod i", "nimrod i", options)
+  r.addResult("nimrod i", given.msg, if given.err: reFailure else: reSuccess)
+  if not given.err: inc(r.passed)
+