[racket] Type information in macros

 Yes. Thank you!


Thu, 14 Aug 2014 08:47:37 -0400 от "Alexander D. Knauth" <alexander at knauth.org>:
>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
>


-- 
Roman Klochkov
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140815/2e5e8853/attachment.html>