Re: (sxml match)

[Andy Wingo <wingo@pobox.com>]

Hi,

On Tue 25 May 2010 23:42, ludo@gnu.org (Ludovic Courtès) writes:

> There’s now a new (sxml match) module, containing Jim Bender’s excellent
> SXML pattern matcher (released under the X11/MIT license):

Cool :)

> I integrated the doc in the manual.  Unfortunately it can’t be made to
> appear close to the automatically generated doc of (sxml simple), so it
> actually appears before.  I’m open to suggestions to improve that.

You could put the documentation in the module commentary of (sxml
match), as texinfo. Or you could extend module-commentary somehow to
look for commentaries in other sources. Probably easiest just to paste
the texinfo you already wrote into the commentary, no?

> The test suite reveals an interesting psyntax “problem”: renaming the
> ‘xyzpq’ variable in sxml-match-tests.ss to ‘x’ leads to:
>
> ERROR: In procedure macroexpand:
> ERROR: identifier out of context in subform `x' of `(quote (d (a 1 2 3) (a 4 5) (a 6 7 8) (a 9 10)))'
>
> Ideas?
>
> (Would be good if psyntax error reporting contained source location
> info.)

It would certainly be possible to maintain a stack of source locations
in the expander, and modify syntax-violation to look in that stack.

There is also the possibility of simply inspecting the syntax objects
given to syntax-violation for source info, but it might not be there --
best to have a stack to at least give approximate info.

Andy
-- 
http://wingolog.org/