[plt-scheme] Matching typed structs in untyped code

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Jun 9 12:15:44 EDT 2009

The philosophy behind Typed Scheme is "no matching required, needed,  
in demand". Code as you always have. -- Matthias

On Jun 9, 2009, at 12:09 PM, Noel Welsh wrote:

> It would be nice if I could pattern match in untyped code on
> structures defined in Typed Scheme code. Presently I get:
>   match: Dot does not refer to a structure definition in: Dot
> Using Typed Scheme for a couple of days has made me revert to my ML
> days, and now I'm pattern matching everywhere. Oh, and the untyped
> code is using classes, which I believe aren't yet supported by Typed
> Scheme so I can't just rewrite it.
> [I know there is a class form in Typed Scheme but it ain't documented.
> I'm using MrEd. I suppose if I could extend the existing bindings to
> MrEd to cover what I need. That does sound tedious...]
> N.
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.