TOP

Author: hhugo

compiler/lib/flow.ml

@@ -402,7 +402,7 @@ let rec the_shape_of info x =
     info
     (fun x ->
       if Var.ISet.mem info.info_possibly_mutable x
-      then Shape.Bot "possibly_mutable"
+      then Shape.Top "possibly_mutable"
       else
         match Shape.get x with
         | Some shape -> shape
@@ -411,16 +411,16 @@ let rec the_shape_of info x =
             | Expr (Block (_, a, _, Immutable)) ->
                 Shape.Block (List.map ~f:(the_shape_of info) (Array.to_list a))
             | Expr (Closure (l, _)) ->
-                Shape.Function { arity = List.length l; pure = false; res = Bot "unk" }
+                Shape.Function { arity = List.length l; pure = false; res = Top "unk" }
             | Expr (Special (Alias_prim name)) -> (
                 try
                   let arity = Primitive.arity name in
                   let pure = Primitive.is_pure name in
-                  Shape.Function { arity; pure; res = Bot "unk" }
-                with _ -> Bot "other")
-            | _ -> Shape.Bot "other"))
-    (Bot "init")
-    (fun _u _v -> Shape.Bot "merge")
+                  Shape.Function { arity; pure; res = Top "unk" }
+                with _ -> Top "other")
+            | _ -> Shape.Top "other"))
+    (Top "init")
+    (fun _u _v -> Shape.Top "merge")
     x
 
 let build_subst (info : Info.t) vars =

compiler/lib/shape.ml

@@ -20,7 +20,7 @@
 open! Stdlib
 
 type t =
-  | Bot of string
+  | Top of string
   | Block of t list
   | Function of
       { arity : int
@@ -30,7 +30,7 @@ type t =
 
 let rec to_string (shape : t) =
   match shape with
-  | Bot s -> if true then "N" else Printf.sprintf "N(%s)" s
+  | Top s -> if true then "N" else Printf.sprintf "N(%s)" s
   | Block l -> "[" ^ String.concat ~sep:"," (List.map ~f:to_string l) ^ "]"
   | Function { arity; _ } -> Printf.sprintf "F(%d)" arity
 
@@ -59,7 +59,7 @@ let assign x shape = Hashtbl.add state (Var x) shape
 let propagate x offset target =
   match Hashtbl.find_opt state (Var x) with
   | None -> ()
-  | Some (Bot _ | Function _) -> ()
+  | Some (Top _ | Function _) -> ()
   | Some (Block l) -> Hashtbl.replace state (Var target) (List.nth l offset)
 
 let get x = Hashtbl.find_opt state (Var x)

compiler/lib/shape.mli

@@ -18,7 +18,7 @@
  *)
 
 type t =
-  | Bot of string
+  | Top of string
   | Block of t list
   | Function of
       { arity : int

compiler/lib/specialize.ml

@@ -27,7 +27,7 @@ let function_arity info x =
     | Some shape -> (
         match shape with
         | Function { arity; _ } -> Some arity
-        | Block _ | Bot _ -> None)
+        | Block _ | Top _ -> None)
     | None ->
         get_approx
           info