[racket] Testing macro helpers

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.


On Sat, Apr 6, 2013 at 11:34 PM, Ryan Culpepper <ryanc at ccs.neu.edu> 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
>