[racket] Type information in macros

 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140814/046c4795/attachment.html>