<div dir="ltr"><div style>I&#39;m trying to understand why TR requires a module that it doesn&#39;t actually use in the file that requires it.</div><div style><br></div><div style>The requirement is unstable/contract in typed-racket/type-racket.rkt. Without it tests/typed-racket/succeed/succed-cnt.rkt fails. But when I try to reduce the test case to not use TR, I cannot replicate it.</div>
<div style><br></div><div style>The error message:</div><div><br></div><div>link: namespace mismatch;</div><div> reference to a module that is not available</div><div>  reference phase: 0</div><div>  referenced module: &quot;/Users/endobson/proj/racket/plt/collects/unstable/contract.rkt&quot;</div>
<div>  referenced phase level: 0</div><div>  reference in module: &quot;/Users/endobson/proj/racket/plt/collects/tests/typed-racket/succeed/succeed-cnt2.rkt&quot;</div><div>  in: provide/contract-contract-id-sequence/c.24</div>
<div><br></div><div style>Can someone explain what this error means/how to write a simple program which triggers it?</div></div>