浏览代码

juggle filter order a bit to allow reduction before analysis (closes #3426)

Simon Krajewski 11 年之前
父节点
当前提交
1b97294a0a
共有 1 个文件被更改,包括 2 次插入1 次删除
  1. 2 1
      filters.ml

+ 2 - 1
filters.ml

@@ -957,8 +957,9 @@ let run com tctx main =
 	 	let filters = [
 	 	let filters = [
 	 		Codegen.UnificationCallback.run (check_unification com);
 	 		Codegen.UnificationCallback.run (check_unification com);
 			Codegen.AbstractCast.handle_abstract_casts tctx;
 			Codegen.AbstractCast.handle_abstract_casts tctx;
-			blockify_ast;
 			Optimizer.inline_constructors tctx;
 			Optimizer.inline_constructors tctx;
+			Optimizer.reduce_expression tctx;
+			blockify_ast;
 			captured_vars com;
 			captured_vars com;
 		] in
 		] in
 		List.iter (post_process tctx filters) com.types;
 		List.iter (post_process tctx filters) com.types;