0004933: Functor drop private type information

Notes
(0005185) garrigue (manager) 2009-12-07 13:30	Actually this is not directly related to 4816 (but I leave the relation anyway, as a reminder) The problem is just that both for private rows and private abbreviations, strengthening is not monotonous. Namely, when you define module A = Make(B) it actually gets the signature module A : sig type t = Make(B).t end Now, if B is not a real module, this is not a valid signature, so the type-checker tries to see if transform Make(B).t into a valid type. Unfortunately, for private types there is no valid alternative, so the abbreviation is just discarded, and you get module A : sig type t end To avoid this problem you just have to pass a proper module as argument to your functor: module B = struct end module A = Make(B) I still wonder whether it would not be possible to extract the private type information from the context in this case.

(0005186) garrigue (manager) 2009-12-07 14:07	Actually, this works with private rows, but the type printed was wrong in that case. I fixed that in Ctype.nondep_type_decl. It should also be possible to support the private abbreviation case, by using try_expand_once_opt, and reinstating the private flag. But this is a bit dangerous...

(0005546) garrigue (manager) 2010-06-07 10:28	Finally fixed this for private abbreviations too, in revision 10532. The idea is not to strengthen types when the path is not a valid one. Unfortunately this seems to solve only a limited number of problems.