Re: [racket-users] Parenthesizing infix expressions in Redex renderings?

2021-02-26 Thread David Thrane Christiansen
Hi Robby, I suppose a system that optionally annotated each alternative for a nonterminal with precedence and associativity would be the maximally featureful way to go here, with unannotated alternatives being parenthesized like today. Something akin to #:binding-forms, I guess. But I haven't dug

Re: [racket-users] Parenthesizing infix expressions in Redex renderings?

2021-02-24 Thread Robby Findler
Yeah, I've been meaning to integrate those parts of that library into Redex proper but just haven't found the time. Also, I've thought it would be nice if Redex were able to look at the context of a particular, say, "or" or "then" expression and figure out if it needed parens. Sadly, for now you

Re: [racket-users] Parenthesizing infix expressions in Redex renderings?

2021-02-24 Thread David Thrane Christiansen
Thanks Ryan! There's all sorts of nice goodies in that library, like current-atomic-rewriters and friends. David Den ons. 24. feb. 2021 kl. 11.29 skrev Ryan Culpepper < rmculpepp...@gmail.com>: > The `binary-rw` function from unstable/gui/redex library has some support > for optionally

Re: [racket-users] Parenthesizing infix expressions in Redex renderings?

2021-02-24 Thread Ryan Culpepper
The `binary-rw` function from unstable/gui/redex library has some support for optionally parenthesizing its arguments. Ryan On Wed, Feb 24, 2021 at 11:07 AM David Thrane Christiansen < da...@davidchristiansen.dk> wrote: > Hello all, > > I'm working on coding up a little language model in

[racket-users] Parenthesizing infix expressions in Redex renderings?

2021-02-24 Thread David Thrane Christiansen
Hello all, I'm working on coding up a little language model in Redex, and I'd like to get it to render things in the form that my colleagues are used to. This means some infix operators as well as dealing with parenthesizing based on operator precedence. Here's a boiled-down sample of what I'm