diff options
Diffstat (limited to 'camlp4/etc/pr_o.ml')
| -rw-r--r-- | camlp4/etc/pr_o.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/camlp4/etc/pr_o.ml b/camlp4/etc/pr_o.ml index bf15c54283..4260ec2350 100644 --- a/camlp4/etc/pr_o.ml +++ b/camlp4/etc/pr_o.ml @@ -143,7 +143,7 @@ value conv_lab = (* default global loc *) -value loc = (Token.nowhere, Token.nowhere); +value _loc = (Token.nowhere, Token.nowhere); value id_var s = if has_special_chars s || is_infix s then @@ -755,7 +755,7 @@ pr_sig_item.pr_levels := fun curr next dg k -> [: `not_impl "sig_item" si :] | <:sig_item< exception $c$ of $list:tl$ >> -> fun curr next dg k -> - [: `variant [: `S LR "exception" :] (loc, c, tl) "" k :] + [: `variant [: `S LR "exception" :] (_loc, c, tl) "" k :] | <:sig_item< value $s$ : $t$ >> -> fun curr next dg k -> [: `value_description (s, t) "" k :] | <:sig_item< external $s$ : $t$ = $list:pl$ >> -> @@ -818,9 +818,9 @@ pr_str_item.pr_levels := | <:str_item< exception $c$ of $list:tl$ = $b$ >> -> fun curr next dg k -> match b with - [ [] -> [: `variant [: `S LR "exception" :] (loc, c, tl) "" k :] + [ [] -> [: `variant [: `S LR "exception" :] (_loc, c, tl) "" k :] | _ -> - [: `variant [: `S LR "exception" :] (loc, c, tl) "" + [: `variant [: `S LR "exception" :] (_loc, c, tl) "" [: `S LR "=" :]; mod_ident b "" k :] ] | <:str_item< include $me$ >> -> @@ -1257,7 +1257,7 @@ pr_expr.pr_levels := fun curr next dg k -> [: `S LR "assert"; `next e "" k :] | <:expr< $lid:n$ $x$ $y$ >> as e -> fun curr next dg k -> - let loc = MLast.loc_of_expr e in + let _loc = MLast.loc_of_expr e in if is_infix n then [: `next e "" k :] else [: curr <:expr< $lid:n$ $x$ >> "" [: :]; `next y "" k :] | <:expr< $x$ $y$ >> -> |