[plt-scheme] match doesn't recognize struct if typed

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Fri Apr 10 10:08:54 EDT 2009

For now, you need a better error message. (I have run into this  
problem too and I had no clue what I was doing wrong.)

-- Matthias


On Apr 9, 2009, at 2:22 PM, Sam TH wrote:

> On Thu, Apr 9, 2009 at 2:15 PM, Paulo J. Matos <pocmatos at gmail.com>  
> wrote:
>>
>> By the way, do you envisage that in the future typed-scheme will
>> support everything provided by PLT Scheme or there will be always
>> things that won't be possible to type?
>
> If I already knew the answer to that question, it wouldn't be nearly
> as much fun.  :)
>
> In all seriousness, I hope to support as much of PLT Scheme as
> possible, which is a lot more than is supported now.  I don't yet know
> how much it is, though.  It's certainly possible, and always will be
> possible, to write programs that can't be typechecked, yet will
> succeed when run without types - that's a simple consequence of
> uncomputability.  Whether that's an important class of programs
> remains to be seen.
> -- 
> sam th
> samth at ccs.neu.edu
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme



Posted on the users mailing list.