fix CTIntersection reification (closes #9404)

extra/CHANGES.txt

@@ -1,3 +1,9 @@
+2020-XX-XX 4.1.2
+
+	Bugfixes:
+
+	macro : fixed type intersection syntax in macro reification (#9404)
+
 2020-22-05 4.1.1
 
 	New features:

src/syntax/reification.ml

@@ -139,7 +139,7 @@ let reify in_macro =
 		| CTExtend (tl,fields) -> ct "TExtend" [to_array to_tpath tl p; to_array to_cfield fields p]
 		| CTOptional t -> ct "TOptional" [to_type_hint t p]
 		| CTNamed (n,t) -> ct "TNamed" [to_placed_name n; to_type_hint t p]
-		| CTIntersection tl -> ct "TIntersection" (List.map (fun t -> to_ctype t p) tl)
+		| CTIntersection tl -> ct "TIntersection" [to_array to_ctype tl p]
 	and to_type_hint (t,p) _ =
 		(* to_obj ["type",to_ctype t p;"pos",to_pos p] p *)
 		to_ctype (t,p) p