You can't get a type from an `untyped` expression at all. The compiler doesn't 
know its type and there is no way to invoke type checking in a macro by design. 
You need to rethink your DSL design.

Reply via email to