diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2007-10-09 10:29:37 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2007-10-09 10:29:37 +0000 |
commit | 59e0723455fc8b847a1303bfc73db5968d666eee (patch) | |
tree | 29b21992d5428948131f66b950ec4e8ed48f0166 /ocamldoc/odoc_type.ml | |
parent | 00f4865bad9838add05d832a05b19fb68da47043 (diff) |
It works: compilers and camlp4 are fully bootstrapped. The ast magic number is not yet changed.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_type.ml')
-rw-r--r-- | ocamldoc/odoc_type.ml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/ocamldoc/odoc_type.ml b/ocamldoc/odoc_type.ml index bcf194d14..eaaca5dc7 100644 --- a/ocamldoc/odoc_type.ml +++ b/ocamldoc/odoc_type.ml @@ -33,10 +33,10 @@ type record_field = { (** The various kinds of type. *) type type_kind = Type_abstract - | Type_variant of variant_constructor list * bool - (** constructors * bool *) - | Type_record of record_field list * bool - (** fields * bool *) + | Type_variant of variant_constructor list + (** constructors *) + | Type_record of record_field list + (** fields *) (** Representation of a type. *) type t_type = { @@ -45,6 +45,7 @@ type t_type = { ty_parameters : (Types.type_expr * bool * bool) list ; (** type parameters: (type, covariant, contravariant) *) ty_kind : type_kind ; + ty_private : Asttypes.private_flag; ty_manifest : Types.type_expr option; (** type manifest *) mutable ty_loc : Odoc_types.location ; mutable ty_code : string option; |