[racket] Determining type from a syntax object

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sat Jun 14 15:04:47 EDT 2014

No, TR expands first, then checks. -- Matthias




On Jun 14, 2014, at 2:59 PM, Spencer Florence wrote:

> 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



Posted on the users mailing list.