<p dir="ltr">Hmm, that surprises me; I'll take a look.</p>
<p dir="ltr">Sam</p>
<div class="gmail_quote">On Oct 17, 2014 8:25 AM, "Konrad Hinsen" <<a href="mailto:konrad.hinsen@fastmail.net">konrad.hinsen@fastmail.net</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Sam Tobin-Hochstadt writes:<br>
 > You should keep the original require and provide, and add the new inserted require as an<br>
 > extra. Does that work?<br>
<br>
That's easy to check:<br>
<br>
-- test-lang/main.rkt ----------------------------<br>
#lang typed-racket/minimal<br>
<br>
(require typed/racket<br>
         test-lang/more<br>
         (only-in typed/racket<br>
                  [#%module-begin tr:module-begin]<br>
                  [require tr:require]))<br>
<br>
(provide (except-out (all-from-out typed/racket) #%module-begin)<br>
         (rename-out [module-begin #%module-begin])<br>
         (all-from-out test-lang/more))<br>
<br>
(define-syntax module-begin<br>
  (syntax-rules (require)<br>
    [(_ decl ...)<br>
     (tr:module-begin<br>
      (require test-lang/more)<br>
      decl ...)]))<br>
--------------------------------------------------<br>
<br>
But now I am back to my original error message:<br>
<br>
  ; test-lang/more.rkt:4:9: Type Checker: missing type for identifier;<br>
  ;  consider using `require/typed' to import it<br>
  ;   identifier: bar<br>
  ;   from module: test-lang/more<br>
  ;   in: bar<br>
<br>
My new friend, the Macro Stepper, now says about 'bar':<br>
<br>
  Apparent identifier binding<br>
  in phase 0:<br>
    defined in: test-lang/more<br>
      as: bar.4<br>
    imported from: test-lang/main<br>
<br>
Konrad.<br>
</blockquote></div>