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? Thanks, David _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
