[plt-scheme] reduction-semantics with multiple languages

From: Richard Cobbe (cobbe at ccs.neu.edu)
Date: Tue Mar 15 09:22:56 EST 2005

On Tue, Mar 15, 2005 at 06:33:57AM -0600, Robby Findler wrote:
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> 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.

That's good advice in general, although Martin will still experience
this problem even with the exp-tagged reduction-semantics collection.

Richard



Posted on the users mailing list.