Is there a way in redex to convert an arbitrary term to a pict?
I have this language: #lang racket (require redex) (define-language L (e (λ x e) (e e) x) (x variable-not-otherwise-mentioned)) (define-metafunction L [(x->pict x) ,(render-term L x #f)]) and (term (x->pict x)) and (term (x->pict y)) both return a pict of x because render-term is a macro so x is treated as syntax and not as a pattern variable. Is there a way in redex to do what what I want? ____________________ Racket Users list: http://lists.racket-lang.org/users
