<div dir="ltr">This is about making decisions at compile time. Specifically I have a sequence of expressions I want to partition into expressions of some type T and expressions of other types.<br></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Sat, Jun 14, 2014 at 7:34 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Would it be enough to expand into an 'ann' expression? Or do you need<br>
to make decisions at compile time based on whether or not the types<br>
worked?<br>
<span class="HOEnZb"><font color="#888888"><br>
Robby<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
On Sat, Jun 14, 2014 at 2:04 PM, Matthias Felleisen<br>
<<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>> wrote:<br>
><br>
> No, TR expands first, then checks. -- Matthias<br>
><br>
><br>
><br>
><br>
> On Jun 14, 2014, at 2:59 PM, Spencer Florence wrote:<br>
><br>
>> Hey All,<br>
>><br>
>> I'm trying to take advantage of typed/racket in a few macros. Is there any way to check the type of an expression from its syntax object? something like:<br>
>><br>
>> (:has-type? (-> Void) #'expression)<br>
>><br>
>><br>
>> --Spencer<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>
><br>
> ____________________<br>
>   Racket Users list:<br>
>   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</div></div></blockquote></div><br></div>