blob: 46ca2bfbaa9d7db240a0fa62e4e4f0c465bb41eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
$NetBSD: patch-ab,v 1.1 2006/03/09 10:35:49 tonio Exp $
--- src/pa_html.ml.orig 2004-12-14 10:30:14.000000000 +0100
+++ src/pa_html.ml
@@ -10,7 +10,7 @@ value rec unfold_apply list =
| e -> (e, list) ]
;
-value tag_encloser loc tag newl a el =
+value tag_encloser _loc tag newl a el =
let s = if newl then "\n" else "" in
let e =
let (frm, al) =
@@ -37,13 +37,13 @@ EXTEND
GLOBAL: expr;
expr: LEVEL "top"
[ [ "tag"; (tn, al, el) = tag_body ->
- let el = tag_encloser loc tn True al el in
- ifndef NEWSEQ then MLast.ExSeq loc el (MLast.ExUid loc "()")
- else MLast.ExSeq loc el
+ let el = tag_encloser _loc tn True al el in
+ ifndef NEWSEQ then MLast.ExSeq _loc el (MLast.ExUid _loc "()")
+ else MLast.ExSeq _loc el
| "stag"; (tn, al, el) = tag_body ->
- let el = tag_encloser loc tn False al el in
- ifndef NEWSEQ then MLast.ExSeq loc el (MLast.ExUid loc "()")
- else MLast.ExSeq loc el ] ]
+ let el = tag_encloser _loc tn False al el in
+ ifndef NEWSEQ then MLast.ExSeq _loc el (MLast.ExUid _loc "()")
+ else MLast.ExSeq _loc el ] ]
;
tag_body:
[ [ tn = STRING; a = OPT expr; "begin"; el = LIST0 expr_semi; "end" ->
|
