diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-03-04 16:36:32 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-03-04 16:36:32 +0000 |
| commit | a5059464fee285ba0b73253ed873c5df92a633b2 (patch) | |
| tree | 5953fd0a5a8bad559fa0de2f6e8abc58557ac9da /camlp4/boot | |
| parent | 46c790a6639e4fecfe9725d2f1cae43d202370cc (diff) | |
Attributes on open/include in signatures.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/boot')
| -rw-r--r-- | camlp4/boot/Camlp4.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/camlp4/boot/Camlp4.ml b/camlp4/boot/Camlp4.ml index 7dd6f6cd3..be1e85f69 100644 --- a/camlp4/boot/Camlp4.ml +++ b/camlp4/boot/Camlp4.ml @@ -15332,7 +15332,7 @@ module Struct = (mkvalue_desc loc t (list_of_meta_list sl))))) :: l | SgInc (loc, mt) -> - (mksig loc (Psig_include (module_type mt))) :: l + (mksig loc (Psig_include (module_type mt, []))) :: l | SgMod (loc, n, mt) -> (mksig loc (Psig_module ((with_loc n loc), (module_type mt)))) :: @@ -15347,7 +15347,7 @@ module Struct = | _ -> Pmodtype_manifest (module_type mt)) in (mksig loc (Psig_modtype ((with_loc n loc), si))) :: l | SgOpn (loc, id) -> - (mksig loc (Psig_open (long_uident id))) :: l + (mksig loc (Psig_open (long_uident id, []))) :: l | SgTyp (loc, tdl) -> (mksig loc (Psig_type (mktype_decl tdl []))) :: l | SgVal (loc, n, t) -> |