[racket] TR Predicates For Mutable Datatypes

From: Ray Racine (ray.racine at gmail.com)
Date: Tue Nov 6 17:19:27 EST 2012

To pick up on a previous topic:

OK given define-predicate doesn't work for mutable datatypes.

(define-predicate T? (HashTable Symbol String)) ;; goes boom

Are we also saying in effect that no possible manual predicate construction
will be accepted by TR?
i,e, is there any form of the below one can construct that TR will accept?

(: T? (Any -> Boolean : (HashTable Symbol String)))
(define (T? ht)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121106/4638730c/attachment.html>

Posted on the users mailing list.