[racket] Typed Racket - Setof assertions

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sun May 15 22:56:29 EDT 2011

On Sat, May 14, 2011 at 4:05 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> 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 is now fixed in git.
sam th
samth at ccs.neu.edu

Posted on the users mailing list.