That's not entirely true. `ExprOf<T>` itself is not checked in either the macro function argument or return type, but that's only meant for static extension (an

That's not entirely true. `ExprOf<T>` itself is not checked in either the macro function argument or return type, but that's only meant for static extension (and maybe some other features?). Expressions generated by your macros will be parsed by the type checked. You won't be able to do var s:Int = StringGetter.getString(); Because you'll get a compilation error there (http://try-haxe.mrcdk.com/#48EDb http://try-haxe.mrcdk.com/#48EDb).