Thank you Frédéric! Le jeu. 29 nov. 2018 à 10:08, Frédéric Bour a écrit : > 1) In all generality, > > include (BI : module type of struct include BI end with type t := t) > > will work if you haven't defined `module type B` or if `BI` exports other > types (say u) and you need to preserve equalities (BI.u = B.u). > > 2) Changes have been made to the module system in the trunk version of > OCaml. The original code should be accepted without any change. > > On Thu, Nov 29, 2018 at 10:03 AM Danny Gratzer > wrote: > >> Hello, >> >> Perhaps I'm overlooking something but replacing >> >> include BI >> >> with >> >> include (BI : B with type t := t) >> >> seems like a reasonable fix to me. >> >> Danny >> > -- Yann Régis-Gianas -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs