make sure bspec syntax check happens for host-interface/definition

michaelballantyne · May 6, 2024 · 17862e3 · 17862e3
1 parent 7a49cad
commit 17862e3
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/private/syntax/interface.rkt b/private/syntax/interface.rkt
@@ -209,16 +209,19 @@
         #f
         #f
         #'(begin
-            (define-syntax pass2-macro
-              (expression-macro
-               (generate-host-interface-transformer
-                name sspec (~? (bspec) ()) (#:pass2) rhs-parse-body ...)))
+            ;; Define this macro first, because the syntax check for exporting bspecs
+            ;; happens when compiling the pass1 version.
             (define-syntax name
               (definition-macro
                 (wrap-bind-trampoline
                  (wrap-persist
                   (generate-host-interface-transformer/definition-pass1
-                   sspec (~? (bspec) ()) [name-parse-body ...] pass2-macro)))))))])))
+                   sspec (~? (bspec) ()) [name-parse-body ...] pass2-macro)))))
+            ;; (before this one)
+            (define-syntax pass2-macro
+              (expression-macro
+               (generate-host-interface-transformer
+                name sspec (~? (bspec) ()) (#:pass2) rhs-parse-body ...)))))])))
 
 (begin-for-syntax
   (define (generate-nonterminal-declarations name-stx opts-stx form-names variant-info-stx)