Re: [racket] Predicates for instantiated types in Typed Racket

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

Re: [racket] Predicates for instantiated types in Typed Racket

On Fri, Jun 17, 2011 at 3:01 PM, Richard Lawrence 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,

[racket] Predicates for instantiated types in Typed Racket

Hi all, 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: #". Here