[plt-scheme] reduction-semantics with multiple languages

From: Richard Cobbe (cobbe at ccs.neu.edu)
Date: Tue Mar 15 07:17:30 EST 2005

On Tue, Mar 15, 2005 at 10:01:09AM +0100, Martin Gasbichler wrote:
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> Jacob Matthews <jacobm at cs.uchicago.edu> writes:
> 
> > This is a bug that existed for a long time but was fixed recently. The
> > version of PLT Redex in CVS has the bug fixed.
> 
> 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.

Richard



Posted on the users mailing list.