[racket] Module Availability

From: Eric Dobson (eric.n.dobson at gmail.com)
Date: Fri Feb 8 12:26:44 EST 2013

I'm trying to understand why TR requires a module that it doesn't actually
use in the file that requires it.

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.

The error message:

link: namespace mismatch;
 reference to a module that is not available
  reference phase: 0
  referenced module:
  referenced phase level: 0
  reference in module:
  in: provide/contract-contract-id-sequence/c.24

Can someone explain what this error means/how to write a simple program
which triggers it?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130208/9b79c205/attachment.html>

Posted on the users mailing list.