more fixes

compiler/semexprs.nim

@@ -1310,6 +1310,7 @@ proc asgnToResultVar(c: PContext, n, le, ri: PNode) {.inline.} =
       n.sons[0] = x # 'result[]' --> 'result'
       n.sons[1] = takeImplicitAddr(c, ri)
       x.typ.flags.incl tfVarIsPtr
+      #echo x.info, " setting it for this type ", typeToString(x.typ), " ", n.info
 
 template resultTypeIsInferrable(typ: PType): untyped =
   typ.isMetaType and typ.kind != tyTypeDesc

compiler/sighashes.nim

@@ -147,6 +147,11 @@ proc hashType(c: var MD5Context, t: PType; flags: set[ConsiderFlag]) =
 
   c &= char(t.kind)
   case t.kind
+  of tyBool, tyChar, tyInt..tyUInt64:
+    # no canonicalization for integral types, so that e.g. ``pid_t`` is
+    # produced instead of ``NI``:
+    if t.sym != nil and {sfImportc, sfExportc} * t.sym.flags != {}:
+      c.hashSym(t.sym)
   of tyObject, tyEnum:
     if t.typeInst != nil:
       assert t.typeInst.kind == tyGenericInst
@@ -162,8 +167,9 @@ proc hashType(c: var MD5Context, t: PType; flags: set[ConsiderFlag]) =
       c.hashSym(t.sym)
     else:
       c &= t.id
-  of tyRef, tyPtr, tyGenericBody:
+  of tyRef, tyPtr, tyGenericBody, tyVar:
     c.hashType t.lastSon, flags
+    if tfVarIsPtr in t.flags: c &= ".varisptr"
   of tyUserTypeClass:
     if t.sym != nil and t.sym.owner != nil:
       c &= t.sym.owner.name.s