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) ...)
____________________ Racket Users list: http://lists.racket-lang.org/users
