[plt-scheme] reduction-semantics with multiple languages

From: Robby Findler (robby at cs.uchicago.edu)
Date: Tue Mar 15 07:33:57 EST 2005

At Tue, 15 Mar 2005 07:17:30 -0500, Richard Cobbe wrote:
> On Tue, Mar 15, 2005 at 10:01:09AM +0100, Martin Gasbichler wrote:
> > When I load the CVS head of reduction-semantics into 208p1, I get
> > 
> > ../../../.plt-scheme/208/collects/reduction-semantics/private/matcher.ss:82:28: expand: 
> unbound variable in module in: any/c
> The HEAD of reduction-semantics works only with DrScheme 299; what
> you're seeing here is a (minor) change in the contract system between
> the two versions.

Please don't use the head. If you're using CVS, use the exp tag. Here's


Also, you might consider using a nightly build:



Posted on the users mailing list.