fixup! Effects: partial CPS transform

Author: vouillon

compiler/lib/global_flow.ml

@@ -25,7 +25,7 @@ blocks, to track functions across modules.
 
 open! Stdlib
 
-let debug = Debug.find "flow2"
+let debug = Debug.find "global-flow"
 
 let times = Debug.find "times"
 
@@ -133,11 +133,9 @@ let rec arg_deps st ?ignore params args =
   | x :: params, y :: args ->
       (* This is to deal with the [else] clause of a conditional,
          where we know that the value of the tested variable is 0. *)
-      if not
-           (match ignore with
-           | Some y' -> Var.equal y y'
-           | _ -> false)
-      then add_assign_def st x y;
+      (match ignore with
+      | Some y' when Var.equal y y' -> ()
+      | _ -> add_assign_def st x y);
       arg_deps st params args
   | _ -> ()
 
@@ -566,7 +564,7 @@ let f p =
     Var.ISet.iter
       (fun x ->
         let s = Var.Tbl.get approximation x in
-        if true || not (Poly.( = ) s Domain.bot)
+        if not (Domain.equal s Domain.bot)
         then
           Format.eprintf
             "%a: %a@."