diff options
| author | Runhang Li <marklrh@gmail.com> | 2017-07-23 09:31:35 +0800 |
|---|---|---|
| committer | Runhang Li <marklrh@gmail.com> | 2017-07-23 09:31:58 +0800 |
| commit | c39b975d435ae0fca8efd90041553234355ed186 (patch) | |
| tree | 06a45659c2f4c9f08d4df02ea5684aac8e8eb3d3 /parsing/parsetree.mli | |
| parent | bc32e7a52de66f80b75cf2bc9cfb11a12f193527 (diff) | |
| parent | d9d7d5b8f19df9f7300c6b2cf1a1b881ab1cb7c1 (diff) | |
| download | ocaml-c39b975d435ae0fca8efd90041553234355ed186.tar.gz | |
merge trunk and update test
Diffstat (limited to 'parsing/parsetree.mli')
| -rw-r--r-- | parsing/parsetree.mli | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index 4ccfd62428..cd7f1524ab 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -505,6 +505,8 @@ and class_type_desc = *) | Pcty_extension of extension (* [%id] *) + | Pcty_open of override_flag * Longident.t loc * class_type + (* let open M in CT *) and class_signature = { @@ -594,7 +596,10 @@ and class_expr_desc = | Pcl_constraint of class_expr * class_type (* (CE : CT) *) | Pcl_extension of extension - (* [%id] *) + (* [%id] *) + | Pcl_open of override_flag * Longident.t loc * class_expr + (* let open M in CE *) + and class_structure = { |