[racket] Predicates for instantiated types in Typed Racket

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Fri Jun 17 15:05:23 EDT 2011

On Fri, Jun 17, 2011 at 3:01 PM, Richard Lawrence
<richard.lawrence at 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
samth at ccs.neu.edu

Posted on the users mailing list.