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

From: Robby Findler (robby at cs.uchicago.edu)
Date: Thu Dec 1 09:25:58 EST 2005

How are you compiling the .zo files? It looks like the .zo for A is out
of sync with the .zo for b. (I reccommend "mzc -k b.ss").

Also, let me recommend you use provide/contract instead of
define/contract. provide/contract is designed to work with out module
system and define/contract is more of a "little examples as the
toplevel" kind of thing.


At Wed, 30 Nov 2005 21:00:47 -0500, Ittai Balaban wrote:
> 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
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.