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:define-judgment-form])
generic-syntax-expanders)
(define-language L
(E number (+ E E)))
(define-expander-type judgment-form)
(define-syntax (define-judgment-form stx)
(syntax-case (expand-all-judgment-form-expanders stx) ()
[(self . rest)
(with-syntax ([new-self (datum->syntax #'here
'orig:define-judgment-form
#'self
#'self)])
(datum->syntax #'here
`(,#'new-self . ,#'rest)
stx
stx))]))
(define-judgment-form-expander where/not
(λ (stx)
(syntax-case stx ()
[(_ pat tm)
#'(side-condition ,(not (redex-match? L pat (term tm))))])))
(define-judgment-form L
#:mode (j I)
[(where/not number E)
---------------------
(j E)])
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
