Commits

camlspotter  committed eb0c00f

a bug report

  • Participants
  • Parent commits 0b9f04b

Comments (0)

Files changed (4)

 
   let aliases_of_include' no_value_is_not_in_ids sg ids =
     (* We cannot use kind directly since it does not distinguish normal values and primitives *)
-    Debug.format "@[<2>DEBUG alias: ids=[ @[%a@] ]@ + sg=[ @[%a@] ]@]@."
+    Debug.format "@[<2>DEBUG alias_of_include': ids=[ @[%a@] ]@ + sg=[ @[%a@] ]@]@."
       (Format.list ";@ " Ident.format) ids
       (Format.list ";@ " (fun ppf (k, id) -> Format.fprintf ppf "%s:%a" (Kind.name k) Ident.format id)) (List.map T.kident_of_sigitem sg);
     let must_be_empty, res = List.fold_left (fun (ids, res) sitem ->

File tests/Makefile.targets

 include_sig.cmi \
 included.cmo \
 included_and_flat.cmo \
+included_const.cmo \
+included_const2.cmo \
 included_sig.cmi \
 included_sig2.cmo \
 included_value.cmo \
 override_x.cmo \
 packed.cmo \
 packed_alias.cmo \
+partial.cmo \
 pathname.cmo \
 perv.cmo \
+predef.cmo \
 primitive.cmo \
 recmodule.cmo \
 record.cmo \

File tests/included_const.ml

+module A = struct
+  type t = T
+end
+
+module F(X: sig end) = struct
+  include A
+end
+
+module FX =  F(struct end)
+
+module B = struct
+  include FX
+  let x = T
+end

File tests/included_const2.ml

+open Included_const
+
+module FX =  F(struct end)
+
+module B = struct
+  include FX
+  let x = T (* CR jfuruse: BUG here *)
+end