This works for me on HEAD, but not 5.1.1. I submitted a patch that made it generate flat contracts instead of regular contracts about a month ago, so I think it is fixed now.
https://github.com/plt/racket/commit/613e121783d34c3e2cc4904f3e4f43639ab925b3 -Eric On Fri, Jun 17, 2011 at 3:05 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > 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 > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
