[racket] Redex: re-writing ...?

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Thu Oct 11 18:38:47 EDT 2012

Hi all,

Is there any easy way to globally re-write the ellipsis pattern in Redex
to some other representation of a sequence? (for typesetting)

For example, re-writing
  (e ...) to the equivalent of \overline{e}

I couldn't think of a way to do this with lw-rewriters since those
always seem to dispatch on the head of a list. Atomic rewriters also
don't work since they wouldn't let me get the line. Am I missing
anything?

Cheers,
Asumu

Posted on the users mailing list.