Rec_info part 1: aliases.

Author: xclerc

.depend

@@ -189,6 +189,7 @@ MIDDLE_END_FLAMBDA_COMPILENV_DEPS=\
   middle_end/flambda/compilenv_deps/flambda_colours.cmo \
   middle_end/flambda/compilenv_deps/compilation_unit.cmo \
   middle_end/flambda/compilenv_deps/rec_info.cmo \
+  middle_end/flambda/compilenv_deps/coercion.cmo \
   middle_end/flambda/compilenv_deps/reg_width_things.cmo \
   middle_end/flambda/compilenv_deps/symbol.cmo \
   middle_end/flambda/compilenv_deps/variable.cmo \

compilerlibs/Makefile.compilerlibs

@@ -53,25 +53,25 @@ let pattern_match' t ~var ~symbol ~const =
 
 let const_from_descr descr = const (RWC.of_descr descr)
 
-let without_rec_info t = pattern_match t ~name ~const
+let without_coercion t = pattern_match t ~name ~const
 
-let merge_rec_info t ~newer_rec_info =
+let compose_coercion t ~newer_coercion =
   if is_const t then None
   else
-    match newer_rec_info with
+    match newer_coercion with
     | None -> Some t
-    | Some newer_rec_info ->
-      let rec_info =
-        match rec_info t with
-        | None -> newer_rec_info
-        | Some older_rec_info ->
-          Rec_info.merge older_rec_info ~newer:newer_rec_info
+    | Some newer_coercion ->
+      let coercion =
+        match coercion t with
+        | None -> newer_coercion
+        | Some older_coercion ->
+          Coercion.compose older_coercion ~newer:newer_coercion
       in
-      Some (with_rec_info (without_rec_info t) rec_info)
+      Some (with_coercion (without_coercion t) coercion)
 
 (* CR mshinwell: Make naming consistent with [Name] re. the option type *)
 
-(* CR mshinwell: Careful that Rec_info doesn't get dropped using the
+(* CR mshinwell: Careful that Coercion doesn't get dropped using the
    following *)
 
 let [@inline always] must_be_var t =
@@ -86,7 +86,7 @@ let [@inline always] must_be_name t =
 let to_name t =
   match must_be_name t with
   | None -> None
-  | Some name -> Some (rec_info t, name)
+  | Some name -> Some (coercion t, name)
 
 let map_name t ~f =
   match must_be_name t with
@@ -118,9 +118,9 @@ let apply_name_permutation t perm =
     let new_name = Name_permutation.apply_name perm old_name in
     if old_name == new_name then t
     else
-      match rec_info t with
+      match coercion t with
       | None -> name new_name
-      | Some rec_info -> with_rec_info (name new_name) rec_info
+      | Some coercion -> with_coercion (name new_name) coercion
   in
   pattern_match t ~const:(fun _ -> t) ~name
 

middle_end/flambda/basic/simple.ml

@@ -23,9 +23,9 @@ include module type of struct include Reg_width_things.Simple end
 
 include Contains_names.S with type t := t
 
-val merge_rec_info : t -> newer_rec_info:Rec_info.t option -> t option
+val compose_coercion : t -> newer_coercion:Coercion.t option -> t option
 
-val without_rec_info : t -> t
+val without_coercion : t -> t
 
 val must_be_var : t -> Variable.t option
 
@@ -64,7 +64,7 @@ val const_from_descr : Reg_width_const.Descr.t -> t
 
 val map_name : t -> f:(Name.t -> Name.t) -> t
 
-val to_name : t -> (Rec_info.t option * Name.t) option
+val to_name : t -> (Coercion.t option * Name.t) option
 
 (* CR mshinwell: remove these next two? *)
 val map_var : t -> f:(Variable.t -> Variable.t) -> t

middle_end/flambda/basic/simple.mli

@@ -74,7 +74,7 @@ let add_name t name =
 
 let add_simple t simple =
   let simples =
-    match Simple.rec_info simple with
+    match Simple.coercion simple with
     | None -> t.simples
     | Some _ -> Simple.Set.add simple t.simples
   in
@@ -91,7 +91,7 @@ let add_continuation t continuation =
 
 let from_simple simple =
   let simples =
-    match Simple.rec_info simple with
+    match Simple.coercion simple with
     | None ->
       (* This simple will not be in the grand_table_of_simples *)
       Simple.Set.empty
@@ -199,12 +199,12 @@ module Import_map = struct
     match Simple.Map.find simple t.simples with
     | simple -> simple
     | exception Not_found ->
-      begin match Simple.rec_info simple with
+      begin match Simple.coercion simple with
       | None ->
         Simple.pattern_match simple
           ~name:(fun n -> Simple.name (name t n))
           ~const:(fun c -> Simple.const (const t c))
-      | Some _rec_info -> simple
+      | Some _coercion -> simple
       end
 
   let closure_var_is_used t var =

middle_end/flambda/cmx/ids_for_export.ml

@@ -0,0 +1,26 @@
+(**************************************************************************)
+(*                                                                        *)
+(*                                 OCaml                                  *)
+(*                                                                        *)
+(*                   Mark Shinwell, Jane Street Europe                    *)
+(*                                                                        *)
+(*   Copyright 2019 Jane Street Group LLC                                 *)
+(*                                                                        *)
+(*   All rights reserved.  This file is distributed under the terms of    *)
+(*   the GNU Lesser General Public License version 2.1, with the          *)
+(*   special exception on linking described in the file LICENSE.          *)
+(*                                                                        *)
+(**************************************************************************)
+
+type t = unit
+
+let id = ()
+let is_id () = true
+let inverse () = ()
+let compose () ~newer:() = ()
+let print ppf () = Format.fprintf ppf "id"
+let equal () () = true
+let hash () = 0
+
+let unroll_to () = None
+let depth () = 1

middle_end/flambda/compilenv_deps/coercion.ml

@@ -0,0 +1,28 @@
+(**************************************************************************)
+(*                                                                        *)
+(*                                 OCaml                                  *)
+(*                                                                        *)
+(*                   Mark Shinwell, Jane Street Europe                    *)
+(*                                                                        *)
+(*   Copyright 2019 Jane Street Group LLC                                 *)
+(*                                                                        *)
+(*   All rights reserved.  This file is distributed under the terms of    *)
+(*   the GNU Lesser General Public License version 2.1, with the          *)
+(*   special exception on linking described in the file LICENSE.          *)
+(*                                                                        *)
+(**************************************************************************)
+
+[@@@ocaml.warning "+a-4-30-40-41-42"]
+
+type t
+
+val id : t
+val is_id : t -> bool
+val inverse : t -> t
+val compose : t -> newer:t -> t
+val print : Format.formatter -> t -> unit
+val equal : t -> t -> bool
+val hash : t -> int
+
+val unroll_to : t -> int option
+val depth : t -> int

middle_end/flambda/compilenv_deps/coercion.mli

@@ -55,7 +55,7 @@ let continuation_annotation () = (C.fg_256 202) ^ (C.bg_256 237)
 
 let name_abstraction () = C.fg_256 172
 
-let rec_info () = C.fg_256 243
+let coercion () = C.fg_256 243
 
 let error () = C.fg_256 160
 

middle_end/flambda/compilenv_deps/flambda_colours.ml

@@ -53,7 +53,7 @@ val continuation_annotation : unit -> string
 
 val name_abstraction : unit -> string
 
-val rec_info : unit -> string
+val coercion : unit -> string
 
 val elide : unit -> string
 

middle_end/flambda/compilenv_deps/flambda_colours.mli

@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 [@@@ocaml.warning "+a-4-30-40-41-42"]
-
+(*
 type t = {
   depth : int;
   unroll_to : int option;
@@ -64,3 +64,4 @@ let merge { depth = depth1; unroll_to = older_unroll_to; } ~newer =
 let initial = create ~depth:0 ~unroll_to:None
 
 let is_initial t = equal t initial
+*)