Re: [racket] TR Predicates For Mutable Datatypes

On Tue, Nov 6, 2012 at 5:19 PM, Ray Racine wrote: > 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 > w

[racket] TR Predicates For Mutable Datatypes

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 c