[plt-scheme] Problem with syntax-case macro under MzScheme 352

From: Robby Findler (robby at cs.uchicago.edu)
Date: Sat Sep 9 11:12:13 EDT 2006

That seems to require that all variables bound by syntax-case (and  
with-syntax) should be bound to syntax objects?

That seems independent of the means of enforcement. MzScheme could  
certainly have signaled an error if that were desired behavior. And,  
in this case, it would have caught the problem without a type system.


On Sep 9, 2006, at 9:59 AM, Shriram Krishnamurthi wrote:

> So the problem was simply that a constructed value was
> being injected back into syntax land without being properly
> type-coerced.  That's something a syntax "type" system ought
> to be able to catch.
> (This is not a comment about you, Blake, just an observation.)
> Shriram
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.