cleanup

Author: hhugo

compiler/lib/code.ml

@@ -857,24 +857,15 @@ let invariant { blocks; start; _ } =
         assert (not (Var.ISet.mem defs x));
         Var.ISet.add defs x)
     in
-    let check_constant = function
-      | NativeInt _ | Int32 _ -> ()
-      | String _ | NativeString _ | Float _ | Float_array _ | Int _ | Int64 _
-      | Tuple (_, _, _) -> ()
-    in
-    let check_prim_arg = function
-      | Pc c -> check_constant c
-      | Pv _ -> ()
-    in
     let check_expr = function
       | Apply _ -> ()
       | Block (_, _, _, _) -> ()
       | Field (_, _, _) -> ()
       | Closure (l, cont) ->
           List.iter l ~f:define;
           check_cont cont
-      | Constant c -> check_constant c
-      | Prim (_, args) -> List.iter ~f:check_prim_arg args
+      | Constant _ -> ()
+      | Prim (_, _) -> ()
       | Special _ -> ()
     in
     let check_instr i =