From 3013dc544d975f6f3bd43380b14ec71a0cab311d Mon Sep 17 00:00:00 2001 From: Pierre Weis Date: Wed, 28 Nov 2007 22:26:05 +0000 Subject: [PATCH] Documentation. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- typing/ctype.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/typing/ctype.ml b/typing/ctype.ml index 0ff1ba45f..d913b84a6 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -1147,7 +1147,9 @@ let expand_head env ty = (* Implementing function [expand_head_opt], the compiler's own version of [expand_head] used for type-based optimisations. [expand_head_opt] uses [Env.find_type_expansion_opt] to access the - normally hidden manifest type information of private abstract types. *) + manifest type information of private abstract data types which is + normally hidden to the type-checker out of the implementation module of + the private abbreviation. *) let expand_abbrev_opt = expand_abbrev_gen Env.find_type_expansion_opt