diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-04-13 17:54:55 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-04-14 00:27:52 +0200 |
commit | f55434e7410a4c41c31145f194950c410bec0253 (patch) | |
tree | ffbb9b7b02ebdbc396cf174b11b622f39dc4a485 /grammar/argextend.mlp | |
parent | 8b1b6e76a6229d9c091bf805e3786bdf0038ae32 (diff) |
Fix compilation with camlp5 transitional mode.
It was failing after 1d0eb5d4d6fea.
Diffstat (limited to 'grammar/argextend.mlp')
-rw-r--r-- | grammar/argextend.mlp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/grammar/argextend.mlp b/grammar/argextend.mlp index aaf3afe43..d00ee4e5d 100644 --- a/grammar/argextend.mlp +++ b/grammar/argextend.mlp @@ -11,8 +11,14 @@ open Q_util let loc = Ploc.dummy let default_loc = <:expr< Loc.ghost >> +IFDEF STRICT THEN + let ploc_vala x = Ploc.VaVal x +ELSE + let ploc_vala x = x +END + let declare_str_items loc l = - MLast.StDcl (loc, Ploc.VaVal l) (* correspond to <:str_item< declare $list:l'$ end >> *) + MLast.StDcl (loc, ploc_vala l) (* correspond to <:str_item< declare $list:l'$ end >> *) let mk_extraarg loc s = <:expr< $lid:"wit_"^s$ >> |