diff options
| author | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2001-12-05 15:38:00 +0000 |
|---|---|---|
| committer | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2001-12-05 15:38:00 +0000 |
| commit | 8158004a4a21357c52ed3e31654ef6b54ce2c057 (patch) | |
| tree | 98b25625762a75a7b38bc2d17ae94321c8801f14 | |
| parent | b3798b52dea9397cbaf91de052adcff02d6d0d59 (diff) | |
| download | ocaml-8158004a4a21357c52ed3e31654ef6b54ce2c057.tar.gz | |
the content of dynamic value is no more printable
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/dynamics@4119 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/outcometree.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/typing/outcometree.mli b/typing/outcometree.mli index 75a0319730..717a381674 100644 --- a/typing/outcometree.mli +++ b/typing/outcometree.mli @@ -59,7 +59,12 @@ type out_value = | Oval_stuff of string | Oval_tuple of out_value list | Oval_variant of string * out_value option +(* GENERIC (dynamic values are not longer printable...) | Oval_dynamic of out_value * out_type +/GENERIC *) +(* DYN *) + | Oval_dynamic of out_type +(* /DYN *) type out_class_type = | Octy_constr of out_ident * out_type list |