[racket] define-predicate problem with HashTable type constructor

From: Erik Pearson (erik at adaptations.com)
Date: Sat Oct 19 13:26:22 EDT 2013


#lang typed/racket
(define-type X (HashTable Symbol String))
(define-predicate x? X)

in drracket 5.3.6, gives me

Type Checker: Type X could not be converted to a contract. in: X

This is reduced out of a more complex type (jsexpr). Removing this bit
removes the error. Is this is a bug? If so, is it easy enough to fix?

I can revert to the non-typed library for now, but have just starting to
convert my app over to typed/racket...

Thanks, Erik.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20131019/80e6943c/attachment.html>

Posted on the users mailing list.