[plt-scheme] Problem with contracts and zo-compiled modules

From: Ittai Balaban (balaban at cs.nyu.edu)
Date: Wed Nov 30 21:00:47 EST 2005

Hi.
I have a module, A, with that provides a symbol defined by
define/contract.
Module A is required by module B. All is well when nothing is compiled.
But when mzscheme tries to require a .zo of B, I get this:

compile: variable not provided (directly or indirectly and at the
expected position) from module: |,/home/balaban/nusmv-tests/A| in:
define/contract-contract-id-extend-env!.1

Since I *must* compile to .zo, this pretty much kills hopes of using
contracts.
Offhand, I'd say this is a bug, but maybe I'm missing something?

Thanks
-- 
Ittai




Posted on the users mailing list.