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