diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-04-16 12:17:17 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-04-16 12:17:17 +0000 |
| commit | 158bc9c9e326bbb5eadf06b5cb693f4a53933387 (patch) | |
| tree | e2c79c6bd81d4b027b672ae288cec1df586691a1 /camlp4/boot | |
| parent | 80c492fe64a0b8b32cbc317fd5496c8f0f7ccdef (diff) | |
Get rid of the undocumented syntax #c[>`A] (#5936, #5983).
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/boot')
| -rw-r--r-- | camlp4/boot/Camlp4.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/camlp4/boot/Camlp4.ml b/camlp4/boot/Camlp4.ml index 15cd3a365..01991f091 100644 --- a/camlp4/boot/Camlp4.ml +++ b/camlp4/boot/Camlp4.ml @@ -14363,7 +14363,7 @@ module Struct = let (is_cls, li) = ctyp_long_id f in if is_cls - then mktyp loc (Ptyp_class (li, (List.map ctyp al), [])) + then mktyp loc (Ptyp_class (li, (List.map ctyp al))) else mktyp loc (Ptyp_constr (li, (List.map ctyp al))) | TyArr (loc, (TyLab (_, lab, t1)), t2) -> mktyp loc (Ptyp_arrow (lab, (ctyp t1), (ctyp t2))) @@ -14380,7 +14380,7 @@ module Struct = mktyp loc (Ptyp_object (meth_list fl [], Open)) | TyCls (loc, id) -> - mktyp loc (Ptyp_class ((ident id), [], [])) + mktyp loc (Ptyp_class ((ident id), [])) | Ast.TyPkg (loc, pt) -> let (i, cs) = package_type pt in mktyp loc (Ptyp_package (i, cs)) @@ -14884,8 +14884,8 @@ module Struct = Ptyp_constr (longident, (List.map loop lst)) | Ptyp_object (lst, o) -> Ptyp_object (List.map (fun (s, t) -> (s, loop t)) lst, o) - | Ptyp_class (longident, lst, lbl_list) -> - Ptyp_class ((longident, (List.map loop lst), lbl_list)) + | Ptyp_class (longident, lst) -> + Ptyp_class ((longident, (List.map loop lst))) | Ptyp_alias (core_type, string) -> Ptyp_alias (((loop core_type), string)) | Ptyp_variant (row_field_list, flag, lbl_lst_option) -> |