Run.hx

#if macro
import haxe.macro.Expr;
#else
class Image {
	static public function img_tag(rr:RR, image: {path:String, w:Int, h:Int}, target_size):String {
		return '<img alt="whoops">';
	}
}
#end
typedef RR = Dynamic;
typedef SImage = {
	name:String,
	path:String,
	w:Int,
	h:Int
};
class Run {
	macro static public function imageHTML(rr:ExprOf<RR>, name:String, target_size: ExprOf<String>):ExprOf<String> {
		function getImage(name):SImage
			return {
				name : 'name',
				path : 'path',
				w    : 0,
				h    : 0,
			}
		var image = { expr: ECheckType(macro $v{getImage(name)}, macro : Run.SImage), pos: haxe.macro.Context.currentPos() };
		return macro{ Image.img_tag(${rr}, $image, $target_size ); };
	}
	static function main() {
		imageHTML({}, 'foo', 'large');
	}
}