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

