Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Documentation. 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Pierre Weis 2007-11-28 22:26:05 +00:00
parent 48c4625aa8
commit 3013dc544d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typing/ctype.ml
View File

@ -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