diff options
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$ >> |