diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2004-12-11 06:58:14 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2004-12-11 06:58:14 +0000 |
| commit | 2f766eea9177a45ce3fe8dab3dbf23de253cbba8 (patch) | |
| tree | 11ef6beef6a391147b73835cd00a705ee7f045c0 /typing/outcometree.mli | |
| parent | 385c6be7897735bc701a33b612df17d05ba9279d (diff) | |
| download | ocaml-objvariants.tar.gz | |
merge from 2004-12-10objvariants
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/objvariants@6735 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/outcometree.mli')
| -rw-r--r-- | typing/outcometree.mli | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/typing/outcometree.mli b/typing/outcometree.mli index 9493e90179..633a01ee64 100644 --- a/typing/outcometree.mli +++ b/typing/outcometree.mli @@ -80,16 +80,24 @@ type out_module_type = | Omty_ident of out_ident | Omty_signature of out_sig_item list and out_sig_item = - | Osig_class of bool * string * string list * out_class_type - | Osig_class_type of bool * string * string list * out_class_type + | Osig_class of + bool * string * (string * (bool * bool)) list * out_class_type * + out_rec_status + | Osig_class_type of + bool * string * (string * (bool * bool)) list * out_class_type * + out_rec_status | Osig_exception of string * out_type list | Osig_modtype of string * out_module_type - | Osig_module of string * out_module_type - | Osig_type of out_type_decl list + | Osig_module of string * out_module_type * out_rec_status + | Osig_type of out_type_decl * out_rec_status | Osig_value of string * out_type * string list and out_type_decl = string * (string * (bool * bool)) list * out_type * (out_type * out_type) list +and out_rec_status = + | Orec_not + | Orec_first + | Orec_next type out_phrase = | Ophr_eval of out_value * out_type |