|
@@ -474,9 +474,9 @@ and flush_macro_context mint ctx =
|
|
mctx.com.Common.modules <- modules;
|
|
mctx.com.Common.modules <- modules;
|
|
(* we should maybe ensure that all filters in Main are applied. Not urgent atm *)
|
|
(* we should maybe ensure that all filters in Main are applied. Not urgent atm *)
|
|
let expr_filters = [
|
|
let expr_filters = [
|
|
|
|
+ "handle_abstract_casts",AbstractCast.handle_abstract_casts mctx;
|
|
"local_statics",Filters.LocalStatic.run mctx;
|
|
"local_statics",Filters.LocalStatic.run mctx;
|
|
"VarLazifier",VarLazifier.apply mctx.com;
|
|
"VarLazifier",VarLazifier.apply mctx.com;
|
|
- "handle_abstract_casts",AbstractCast.handle_abstract_casts mctx;
|
|
|
|
"Exceptions",Exceptions.filter mctx;
|
|
"Exceptions",Exceptions.filter mctx;
|
|
"captured_vars",CapturedVars.captured_vars mctx.com;
|
|
"captured_vars",CapturedVars.captured_vars mctx.com;
|
|
] in
|
|
] in
|