From f55434e7410a4c41c31145f194950c410bec0253 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Thu, 13 Apr 2017 17:54:55 +0200 Subject: Fix compilation with camlp5 transitional mode. It was failing after 1d0eb5d4d6fea. --- grammar/argextend.mlp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'grammar/argextend.mlp') 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$ >> -- cgit v1.2.3