[plt-dev] parser macros

2009-09-16 Thread Dave Herman
Floating an idea: I'd love to see an extension to the `parser' form that allows programmers to define grammar macros. Imagine if you could do something like this: (parser (start Expr) (end EOF) (tokens Tokens) (macros (define-macro (List x) [(LPAREN (ListTail x)) $2])

Re: [plt-dev] Unicode is a pain

2009-09-16 Thread Anthony Cowley
On Wed, Sep 16, 2009 at 7:03 AM, Richard Cobbe co...@ccs.neu.edu wrote: Interesting.  I wasn't aware of TeX input mode and googled for it, but all I got was TeX-mode (well, plus one mode for editing APL source), which can't be what you're referring to.  Could you provide some pointers? It's an

Re: [plt-dev] Unicode is a pain

2009-09-16 Thread Jens Axel Søgaard
2009/9/16 Robby Findler ro...@eecs.northwestern.edu: 2009/9/16 Anthony Cowley acow...@seas.upenn.edu: In Aquamacs, I just hit C-\ to toggle it, and then all the usual TeX macros work, with auto-completion. That's a bit different than DrScheme: in DrScheme, it isn't a mode; you hit control-\

Re: [plt-dev] mzlib/trace better prefixes

2009-09-16 Thread Philippe Meunier
Jon Rafkind wrote: Attached is a patch that changes the prefixes that mzlib/trace prints depending on whether a function call is occuring or if a result is being returned. is a function call and is a return value. That looks backward to me: the trace library represents the stack of