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

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.

Robby

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
>