[racket] Typed Racket - Setof assertions

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sat May 14 16:05:58 EDT 2011

On Sat, May 14, 2011 at 3:57 PM, Ray Racine <ray.racine at gmail.com> 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
samth at ccs.neu.edu



Posted on the users mailing list.