added macro:Type reification

ast.ml

@@ -519,7 +519,7 @@ let map_expr loop (e,p) =
 	) in
 	(e,p)
 
-let expr_to_value in_macro e =
+let reify in_macro =
 	let mk_enum ename n vl p =
 		let constr = (EConst (Ident n),p) in
 		match vl with
@@ -601,6 +601,8 @@ let expr_to_value in_macro e =
 	and to_ctype t p =
 		let ct n vl = mk_enum "ComplexType" n vl p in
 		match t with
+		| CTPath { tpackage = []; tparams = []; tsub = None; tname = n } when n.[0] = '$' ->
+			to_string n p
 		| CTPath t -> ct "TPath" [to_tpath t p]
 		| CTFunction (args,ret) -> ct "TFunction" [to_array to_ctype args p; to_ctype ret p]
 		| CTAnonymous fields -> ct "TAnonymous" [to_array to_cfield fields p]
@@ -767,4 +769,4 @@ let expr_to_value in_macro e =
 		| ECheckType (e1,ct) ->
 			expr "ECheckType" [loop e1; to_ctype ct p]
 	in
-	to_expr e (snd e)
+	(fun e -> to_expr e (snd e)), to_ctype

parser.ml

@@ -619,9 +619,15 @@ and expr = parser
 		| _ -> e)
 	| [< '(Const (Ident "macro"),p); s >] ->
 		(match Stream.npeek 1 s with
+		| [(DblDot,_)] ->
+			(match s with parser
+			| [< '(DblDot,_); t = parse_complex_type >] -> 
+				let t = snd (reify !in_macro) t p in
+				(ECheckType (t,(CTPath { tpackage = ["haxe";"macro"]; tname = "Expr"; tsub = Some "ComplexType"; tparams = [] })),p)
+			| [< >] -> serror())
 		| [(_,p2)] when p2.pmin > p.pmax ->
 			let reify e =
-				let e = expr_to_value !in_macro e in
+				let e = fst (reify !in_macro) e in
 				(ECheckType (e,(CTPath { tpackage = ["haxe";"macro"]; tname = "Expr"; tsub = None; tparams = [] })),pos e)
 			in
 			(match s with parser