bugfix: exception tracking (still disabled)

compiler/options.nim

@@ -12,6 +12,7 @@ import
   
 const
   hasTinyCBackend* = defined(tinyc)
+  useEffectSystem* = false
 
 type                          # please make sure we have under 32 options
                               # (improves code efficiency a lot!)

compiler/sempass2.nim

@@ -219,8 +219,7 @@ proc checkRaisesSpec(spec, real: PNode) =
   for r in items(real):
     block search:
       for s in 0 .. <spec.len:
-        # s supertype of r?
-        if inheritanceDiff(spec[s].typ, r.excType) <= 0:
+        if inheritanceDiff(r.excType, spec[s].typ) <= 0:
           used.incl(s)
           break search
       # XXX call graph analysis would be nice here!

compiler/transf.nim

@@ -691,7 +691,7 @@ proc transformBody*(module: PSym, n: PNode, prc: PSym): PNode =
   if nfTransf in n.flags or prc.kind in {skTemplate, skMacro}:
     result = n
   else:
-    when false: trackProc(prc, n)
+    when useEffectSystem: trackProc(prc, n)
     var c = openTransf(module, "")
     result = processTransf(c, n)
     if prc.kind != skMacro: