Is there a way to get type information in macro? Either from cintracts or from Typed Raacket.
Or only way is to make up own type declaration syntax : something like (define-syntax-rule declare (VAR TYPE) (begin-for-syntax (hash-set! types 'VAR TYPE))) ? -- Roman Klochkov
____________________ Racket Users list: http://lists.racket-lang.org/users
