I didn't know about scribble/bnf -- that's plain PERFECT for my needs. Thanks a lot!
-- Éric PS: and thanks for the unquote-hacky solution, too! On Nov 22, 2011, at 5:01 PM, Matthew Flatt wrote: > At Tue, 22 Nov 2011 16:14:55 -0300, Eric Tanter wrote: >> @racketblock[ >> <list> ::= '() >> | (cons <val> <list>) >> ] > > While `scribble/bnf' is a better approach, you could use > > @(define IS (tt "::=")) > @(define OR (tt " | ")) > @racketblock[ > <list> @#,IS '() > @#,OR (cons <val> <list>) > ] > > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users