make more tests green

compiler/semfold.nim

@@ -628,6 +628,9 @@ proc getConstExpr(m: PSym, n: PNode): PNode =
     of {skProc, skMethod}:
       result = n
     of skType:
+      # XXX gensym'ed symbols can come here and cannot be resolved. This is
+      # dirty, but correct.
+      if s.typ != nil:
         result = newSymNodeTypeDesc(s, n.info)
     of skGenericParam:
       if s.typ.kind == tyStatic:

compiler/transf.nim

@@ -869,8 +869,10 @@ proc transform(c: PTransf, n: PNode): PTransNode =
     else:
       result = transformSons(c, n)
   of nkIdentDefs, nkConstDef:
+    when true:
+      result = transformSons(c, n)
+    else:
       result = n.PTransNode
-    #transformSons(c, n)
       let L = n.len-1
       result[L] = transform(c, n.sons[L])
     # XXX comment handling really sucks:

tests/overload/tprefer_tygenericinst.nim

@@ -19,7 +19,7 @@ when true:
   q(B()) # This call reported as ambiguous.
 
 # bug #2219
-template testPred(a: expr) =
+template testPred(a: untyped) =
   block:
     type A = object of RootObj
     type B = object of A