<div>Consider the innocuous appearing snippit below from collects/racket/place/distributed/examples/hello-world.rkt  </div><div> </div><div>#lang typed/racket</div><div><br></div><div>(require racket/place/distributed</div>
<div>         racket/place)</div><div><br></div><div>(provide hello-world)</div><div><br></div><div>(: hello-world (-&gt; Place))</div><div>(define (hello-world) </div><div>  (place ch</div><div>         (printf &quot;hello-world received: ~a\n&quot; </div>
<div>                 (place-channel-get (assert ch place-channel?)))</div><div>         (define HW &quot;Hello World&quot;)</div><div>         (place-channel-put (assert ch place-channel?) (format &quot;~a\n&quot; HW))</div>
<div>         (printf &quot;hello-world sent: ~a\n&quot; HW))) </div><div><br></div><div><br></div><div>First issue is:</div><div>`place&#39; is syntax entailing 2 closed over procs `place/proc&#39; and `start-place defined in racket/place.  No prob. I know the secret incantation.</div>
<div><br></div><div>So I add a couple of strawman typings base-special-env.rkt and these immediate undefined identifier errors magically go away.</div><div><br></div><div><div> ;; from the expansion of `place&#39;</div><div>
  [(make-template-identifier &#39;place/proc &#39;racket/place)</div><div>   (-&gt; -Variable-Reference -Symbol -Symbol (-&gt; -Symbol -Resolved-Module-Path -Symbol (-opt -Input-Port) (-opt -Output-Port) (-opt -Output-Port) -Place)</div>
<div>       (-opt -Input-Port) (-opt -Output-Port) (-opt -Output-Port) </div><div>       -Place)] </div><div>  [(make-template-identifier &#39;start-place &#39;racket/place)</div><div>   (-&gt; -Symbol -Resolved-Module-Path -Symbol (-opt -Input-Port) (-opt -Output-Port) (-opt -Output-Port)</div>
<div>       -Place)]</div></div><div><br></div><div>The next one in the conga line is an unknown identifier error for `place?&#39;, which _is_ publicly exported by racket/place.  But `place?&#39; is itself syntax, so I donno, we have some sort of require-syntax-for-syntax sort of thing going on.</div>
<div><br></div><div>Just for laughs I tossed the below into base-special-env.rkt. and now hello-world.rkt has errors on duplicate definition of `place?&#39;.</div><div><div> [(make-template-identifier &#39;place? &#39;racket/place)</div>
<div>   (-&gt; Univ -Boolean)]</div></div><div><br></div><div>Any ideas on how move forward?  The idea was to take a run at TRing the collects/racket/place/distributed/examples/hello-world.rkt  </div><div><br></div><div>Thanks in advance,</div>
<div><br></div><div>Ray</div><div><br></div>