Be aware that `expand-all-judgment-form-expanders` does what it says on the
tin: if the `(define-judgment-form …)` contains something that should in
principle shadow the expander, e.g. something equivalent to `(let ([where/not
(λ (x) 42)]) (where/not 'blah))`, then the `expand-all-judgment-form-
(cc'ing the list)
Cool, I hadn't seen that library. I think this approach would get the job
done.
Thanks,
Sam Caldwell
On Wed, Oct 26, 2016 at 12:25 PM, Sam Caldwell wrote:
> Cool, I hadn't seen that library. I think this approach would get the job
> done.
>
> Thanks,
> Sam Caldwell
>
> On Tue
Sam, would something like this work for you?
I'm using the generic-syntax-expanders library to easily define expanders
(sorts of macros) which are expanded within uses of a wrapper of
define-judgment-form.
#lang racket
(require (rename-in redex
[define-judgment-form orig:
3 matches
Mail list logo
