On Fri, Jun 17, 2011 at 3:01 PM, Richard Lawrence <richard.lawre...@berkeley.edu> wrote: > > I think I must be missing something about how Typed Racket predicates > work. If I define a predicate for an instantiated polymorphic structure, > my programs type check fine, but I get runtime errors when I try to use > the predicate, which boil down to "expected procedure, given: > #<make-contract>".
It looks like Typed Racket isn't generating a flat contract for the type `Foo' here, which it should. I'll have a look at why that is. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
