[plt-scheme] match doesn't recognize struct if typed
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