[racket] Typed Racket Predicate Generation Regression?

From: Danny Yoo (dyoo at hashcollision.org)
Date: Tue Oct 30 15:24:14 EDT 2012

On Tue, Oct 30, 2012 at 1:10 PM, Ray Racine <ray.racine at gmail.com> wrote:
> Been awhile as this is old library code, but I recall the below code once
> worked for me.  Currently failing at the moment, though may have broken at
> any time of the last few months.

Hmmmm!  This seems to be triggering based on HashTable being there.  A
reduced case also fails:

    #lang typed/racket/base
    (define-predicate myhash? (HashTable Symbol String))

with the following error message:


Type Checker: Type (HashTable Symbol String) could not be converted to
a contract. in: (HashTable Symbol String)

Posted on the users mailing list.