浏览代码

allow typing of dynamic arrays when expected type is Dynamic (fixed issue #901)

Simon Krajewski 13 年之前
父节点
当前提交
a525411e87
共有 1 个文件被更改,包括 3 次插入0 次删除
  1. 3 0
      typer.ml

+ 3 - 0
typer.ml

@@ -1437,6 +1437,9 @@ and type_expr_with_type_raise ctx e t =
 						e
 					) el in
 					mk (TArrayDecl el) t p)
+			| TDynamic _ ->
+				let el = List.map (type_expr ctx) el in
+				mk (TArrayDecl el) (ctx.t.tarray t_dynamic) (snd e)				
 			| _ ->
 				type_expr ctx e)
 	| EObjectDecl el ->