[racket] Contracts and submodules

>
> One way to avoid this problem is instead of module+ use module*:
>
>   (module* test racket ;; To test module-boundary contracts, must use
>                        ;; module* and (require (submod "..")).
>     (require (submod ".."))
>     ... check check check ...
>     )


Yup!  A similar question had been asked on Stack Overflow too:

    http://stackoverflow.com/questions/14718296/confused-about-racket-contracts/14718633#14718633