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

On Sun, Apr 25, 2010 at 2:06 AM, keydana at gmx.de <keydana at gmx.de> wrote:
>
> I'm stuck with a problem during type matching in typed scheme which I don't
> know how to get along with. Somehow I suspect it might be related to nesting
> type definitions in the standard type scheme (define-struct: and
> define-type)
> and the planet dherman/types:2 package (define-datatype) way, like this:

There seems to be some missing code in your example.  What is `eql'
and what is `Operator'?  Neither of them are defined.
-- 
sam th
samth at ccs.neu.edu