[racket] require/typed predicates

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Wed May 4 21:14:48 EDT 2011

I used to be able to write things like this in TR:

#lang typed/racket
(require/typed lang/htdp-advanced
   [char? (Any -> Boolean : Char)])

But now I get:

Type Checker: Type (Any -> Boolean : Char) could not be converted to a 
contract. in: (Any -> Boolean : Char)

Is there a way to recover what I was doing?


Posted on the users mailing list.