On Wed, May 4, 2011 at 9:59 PM, Carl Eastlund <[email protected]> wrote: > On Wed, May 4, 2011 at 9:14 PM, David Van Horn <[email protected]> wrote: >> 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 > > I think this was a soundness bug that has been fixed. How could Typed > Racket guarantee this in a useful way?
Carl is correct. For what you might be trying to do, check out the `opaque' keyword for `require/typed'. -- sam th [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
