[plt-scheme] Bug in Syntax Certification?

From: Will Farr (farr at MIT.EDU)
Date: Sun Jun 15 12:14:41 EDT 2008

Matthew,

First off: thanks for the *extremely* quick turnaround on the  
weekend!  You guys are great!

On Jun 15, 2008, at 12:07 PM, Matthew Flatt wrote:

> s it maybe exported with a contract, so that the `matrix-elts' binding
> within the module is different than the exported one?

Yep.  It's part of the matrix structure, exported with a struct  
contract.  I'll get the SVN straightaway, and see if things are  
fixed.  Thanks again!

Will


Posted on the users mailing list.