[plt-scheme] still stuck with typed scheme problem: "Expected Attribute, but got Attribute"

Hi Sam,

> 
> If your type is defined using `define-struct:', you can use `match'
> with it as well.

That's nice, thanks for the information! 

> 
>> 2) type variants defined with Dave's define-datatype using (match x ((struct
>> y (z)) ...
> 
> I think `define-datatype' defines predicates (such as `y?') as well.

No, or at least it doesn't work for me (perhaps if Dave reads that, he can correct me :-) )

Ciao,
Sigrid