[plt-scheme] reduction-semantics with multiple languages

From: Martin Gasbichler (gasbichl at informatik.uni-tuebingen.de)
Date: Tue Mar 15 04:01:09 EST 2005

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


-- 
Martin



Posted on the users mailing list.