<HTML><BODY>Yes. Thank you!<br><br><br>Thu, 14 Aug 2014 08:47:37 -0400 от "Alexander D. Knauth" <alexander@knauth.org>:<br>
<blockquote style="border-left:1px solid #0857A6; margin:10px; padding:0 0 0 10px;">
<div id="">
<div class="js-helper js-readmsg-msg">
<style type="text/css"></style>
<div>
<base target="_self" href="https://e.mail.ru/">
<div id="style_14080204640000000943_BODY">Do you mean like in this thread?<br>
<a href="http://lists.racket-lang.org/users/archive/2014-June/062943.html" target="_blank">http://lists.racket-lang.org/users/archive/2014-June/062943.html</a><br>
<br>
On Aug 14, 2014, at 12:50 AM, Roman Klochkov <<a href="/compose?To=kalimehtar@mail.ru">kalimehtar@mail.ru</a>> wrote:<br>
<br>
> Is there a way to get type information in macro? Either from cintracts or from Typed Raacket.<br>
> <br>
> Or only way is to make up own type declaration syntax : something like<br>
> <br>
> (define-syntax-rule declare (VAR TYPE)<br>
> (begin-for-syntax (hash-set! types 'VAR TYPE)))<br>
> <br>
> ?<br>
> <br>
> -- <br>
> Roman Klochkov<br>
> ____________________<br>
> Racket Users list:<br>
> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br>
</div>
<base target="_self" href="https://e.mail.ru/">
</div>
</div>
</div>
</blockquote>
<br>
<br>-- <br>Roman Klochkov<br></BODY></HTML>