[racket] Determining type from a syntax object

From: Spencer Florence (florence at ccs.neu.edu)
Date: Sat Jun 14 14:59:46 EDT 2014

Hey All,

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:

(:has-type? (-> Void) #'expression)


--Spencer
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140614/003d8728/attachment.html>

Posted on the users mailing list.