$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" ->