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 seems to be missing. I'll push the fix shortly. -- sam th [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
