summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJun FURUSE / 古瀬 淳 <jun.furuse@gmail.com>2001-12-05 15:31:52 +0000
committerJun FURUSE / 古瀬 淳 <jun.furuse@gmail.com>2001-12-05 15:31:52 +0000
commit26f11e9230ff4869c26900bf5ebd70c35099ff0f (patch)
tree2baa7986d544a21e3e84174fca7af6dc9b2097e9
parent4bfeb28082610d721c254b1956074a0dcb3aabfb (diff)
downloadocaml-26f11e9230ff4869c26900bf5ebd70c35099ff0f.tar.gz
simplif. of coerce and essai of dyn pattern
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/dynamics@4115 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--parsing/printast.ml13
1 files changed, 12 insertions, 1 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml
index abc49d99bc..3473a1df4a 100644
--- a/parsing/printast.ml
+++ b/parsing/printast.ml
@@ -172,6 +172,12 @@ and pattern i ppf x =
| Ppat_type li ->
line i ppf "PPat_type";
longident i ppf li
+(* GENERIC
+ | Ppat_dynamic (p, ct) ->
+ line i ppf "Ppat_dynamic";
+ pattern i ppf p;
+ core_type i ppf ct;
+/GENERIC *)
and expression i ppf x =
line i ppf "expression %a\n" fmt_location x.pexp_loc;
@@ -275,11 +281,16 @@ and expression i ppf x =
| Pexp_dynamic (e) ->
line i ppf "Pexp_dynamic";
expression i ppf e;
+ | Pexp_coerce (e) ->
+ line i ppf "Pexp_coerce";
+ expression i ppf e;
+(* /DYN *)
+(* GENERIC
| Pexp_coerce (e, pexps) ->
line i ppf "Pexp_coerce";
expression i ppf e;
list i pattern_x_expression_case ppf pexps;
-(* /DYN *)
+/GENERIC *)
and value_description i ppf x =
line i ppf "value_description\n";