summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Changes3
-rw-r--r--camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml2
2 files changed, 5 insertions, 0 deletions
diff --git a/Changes b/Changes
index a35015c76..5dd91b51b 100644
--- a/Changes
+++ b/Changes
@@ -19,6 +19,9 @@ Standard library:
. Added new functorial interface "MakeSeeded" to support diversification
with user-provided hash functions.
+Bug Fixes:
+- PR#5301: camlp4r and of exception equal to another one with parameters
+
Objective Caml 3.12.0:
----------------------
diff --git a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
index 9146fa25d..d917b6d5d 100644
--- a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
+++ b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml
@@ -945,6 +945,8 @@ module Make (Ast : Sig.Camlp4Ast) = struct
(List.map ctyp (list_of_ctyp t []))) :: l ]
| <:str_item@loc< exception $uid:s$ = $i$ >> ->
[mkstr loc (Pstr_exn_rebind (conv_con s) (ident i)) :: l ]
+ | <:str_item@loc< exception $uid:s$ of $_$ = $i$ >> ->
+ [mkstr loc (Pstr_exn_rebind (conv_con s) (ident i)) :: l ]
| StExc _ _ _ -> assert False (*FIXME*)
| StExp loc e -> [mkstr loc (Pstr_eval (expr e)) :: l]
| StExt loc n t sl -> [mkstr loc (Pstr_primitive n (mkvalue_desc t (list_of_meta_list sl))) :: l]