[plt-scheme] macro expension order

[Jens Axel Søgaard]

Chongkai Zhu skrev:
> The problem is: to _compile_ SML code into PLT Scheme, not to manually 
> translate ML.

Yes. Prepend

    (define-struct NONE ())
    (define-struct SOME (b))

to the program. Then translate NONE to (make-NONE), and
(SOME <expr>) to (make-some <translation-of-expr>).

-- 
Jens Axel Søgaard