<div dir="ltr">You can put your helper code in a submodule that you require from the test module at phase 0 but from the actual module at phase 1. Robby </div><div class="gmail_extra"> <div class="gmail_quote"> On Sun, Apr 7, 2013 at 1:47 AM, Eric Dobson <<a href="mailto:eric.n.dobson@gmail.com" target="_blank">eric.n.dobson@gmail.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> The issue with that is that it runs the code (compute) at phase1, when I need to run that code at phase 0, otherwise compiling the module runs the tests. I'm willing to muck with eval and namespaces, so I believe what I want should be possible if difficult. <div class="HOEnZb"><div class="h5"> On Sat, Apr 6, 2013 at 11:34 PM, Ryan Culpepper <<a href="mailto:ryanc@ccs.neu.edu">ryanc@ccs.neu.edu</a>> wrote: > On 04/07/2013 01:24 AM, Eric Dobson wrote: >> >> I am trying to test a helper to a macro. It generates a syntax object >> with bindings at phase-1, this is then returned by the macro and it >> correctly evaluates. Is there a way to not go through the macro, but >> still evaluate the syntax-object with those bindings it has at phase-1 >> relative to the helper and not phase 0 relative? >> >> Example code: >> #lang racket/load >> >> (module t racket >> (provide (all-defined-out)) >> (define temp 7)) >> >> (module stx-compute racket >> (provide (all-defined-out)) >> (require (for-template 't)) >> ;(require 't) >> (define (compute) #'temp)) >> >> >> (module stx racket >> (provide (all-defined-out)) >> (require (for-syntax 'stx-compute)) >> (define-syntax (use-compute stx) >> (compute))) >> >> (require 'stx) >> (displayln (use-compute)) >> (require 'stx-compute) >> (displayln (eval-syntax (compute))) >> >> This fails on the eval-syntax, but succeds if I uncomment the (require >> 't). > > > You might find phase1-eval from unstable/macro-testing helpful. > > (require (for-syntax 'stx-compute) > unstable/macro-testing)) > > (phase1-eval (compute)) > ;; => 'temp > > (phase1-eval (compute) #:quote quote-syntax) > ;; => #<syntax temp> > > (eval-syntax (phase1-eval (compute) #:quote quote-syntax)) > ;; => 7 > > Ryan > ____________________ Racket Users list: <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> </div></div></blockquote></div> </div>