summaryrefslogtreecommitdiffstats
path: root/parsing/printast.ml
diff options
context:
space:
mode:
Diffstat (limited to 'parsing/printast.ml')
-rw-r--r--parsing/printast.ml4
1 files changed, 4 insertions, 0 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml
index 731fa48d9..87d9ee23d 100644
--- a/parsing/printast.ml
+++ b/parsing/printast.ml
@@ -463,6 +463,7 @@ and class_type_declaration i ppf x =
and class_expr i ppf x =
line i ppf "class_expr %a\n" fmt_location x.pcl_loc;
+ attributes i ppf x.pcl_attributes;
let i = i+1 in
match x.pcl_desc with
| Pcl_constr (li, l) ->
@@ -489,6 +490,9 @@ and class_expr i ppf x =
line i ppf "Pcl_constraint\n";
class_expr i ppf ce;
class_type i ppf ct;
+ | Pcl_extension (s, arg) ->
+ line i ppf "Pcl_extension \"%s\"\n" s;
+ expression i ppf arg
and class_structure i ppf { pcstr_self = p; pcstr_fields = l } =
line i ppf "class_structure\n";