-TODO

ocaml · Oct 19, 2021 · 7cd6de6 · 7cd6de6
1 parent a0e1fb5
commit 7cd6de6
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/typing/shape.ml b/typing/shape.ml
@@ -275,6 +275,8 @@ let of_path ~find_shape ?(ns = Sig_component_kind.Module) =
 
 let for_persistent_unit s = { uid = None; desc = Comp_unit s }
 
+let leaf_for_unpack = { uid = None; desc = Leaf }
+
 let set_uid_if_none t uid =
   match t.uid with
   | None -> { t with uid = Some uid }

diff --git a/typing/shape.mli b/typing/shape.mli
@@ -90,6 +90,7 @@ val proj : ?uid:Uid.t -> t -> Item.t -> t
 val leaf : Uid.t -> t
 
 val for_persistent_unit : string -> t
+val leaf_for_unpack : t
 
 module Map : sig
   type shape = t

diff --git a/typing/typemod.ml b/typing/typemod.ml
@@ -2226,7 +2226,7 @@ and type_module_aux ~alias sttn funct_body anchor env smod =
         mod_env = env;
         mod_attributes = smod.pmod_attributes;
         mod_loc = smod.pmod_loc },
-      Shape.dummy_mod (* TODO @ulysse Pmod_unpack*)
+      Shape.leaf_for_unpack
   | Pmod_extension ext ->
       raise (Error_forward (Builtin_attributes.error_of_extension ext))