From 52fc16d5d2f152df1cfc26ae1eb8df92f77ee7cb Mon Sep 17 00:00:00 2001
From: LemonBoy <LemonBoy@users.noreply.github.com>
Date: Wed, 27 Jun 2018 21:43:08 +0200
Subject: Return an error symbol as macro output if needed (#8116)

Return an error symbol if the macro output has no type and a typedesc
is expected.

Fixes #7454
---
 compiler/sem.nim | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'compiler')

diff --git a/compiler/sem.nim b/compiler/sem.nim
index 299286545..0adcccfbe 100644
--- a/compiler/sem.nim
+++ b/compiler/sem.nim
@@ -412,7 +412,12 @@ proc semAfterMacroCall(c: PContext, call, macroResult: PNode,
     of tyTypeDesc:
       if result.kind == nkStmtList: result.kind = nkStmtListType
       var typ = semTypeNode(c, result, nil)
-      result.typ = makeTypeDesc(c, typ)
+      if typ == nil:
+        localError(c.config, result.info, "expression has no type: " &
+                   renderTree(result, {renderNoComments}))
+        result = newSymNode(errorSym(c, result))
+      else:
+        result.typ = makeTypeDesc(c, typ)
       #result = symNodeFromType(c, typ, n.info)
     else:
       var retType = s.typ.sons[0]
-- 
cgit 1.4.1-2-gfad0