[racket] Predicates for instantiated types in Typed Racket
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