On Sat, May 14, 2011 at 4:05 PM, Sam Tobin-Hochstadt <[email protected]> wrote: > On Sat, May 14, 2011 at 3:57 PM, Ray Racine <[email protected]> wrote: >> Sam, >> Tried it. What am I missing? Thanks. >> #lang typed/racket >> (require >> (except-in racket/set >> set/c)) >> (define-predicate setof-string? (Setof String)) >> racket@> ,enter "/code/knozama/fca/src/main/racket/harvest/test.rkt" >> test.rkt:19:33: Type Checker: Type (Setof String) could not be converted to >> a contract. in: (Setof String)
This is now fixed in git. -- sam th [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
