[racket] Type information in macros

Do you mean like in this thread?
http://lists.racket-lang.org/users/archive/2014-June/062943.html

On Aug 14, 2014, at 12:50 AM, Roman Klochkov <kalimehtar at mail.ru> wrote:

> 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