Revision ad4774b0 src/plugins.ml
| src/plugins.ml | ||
|---|---|---|
| 7 | 7 |
List.flatten ( |
| 8 | 8 |
List.map Options_management.plugin_opt ( |
| 9 | 9 |
List.map (fun m -> |
| 10 |
let module M = (val m : PluginType.PluginType) in
|
|
| 10 |
let module M = (val m : PluginType.S) in
|
|
| 11 | 11 |
(M.name, M.activate, M.options) |
| 12 | 12 |
) plugins |
| 13 | 13 |
)) |
| 14 | 14 |
|
| 15 | 15 |
let check_force_stateful () = |
| 16 | 16 |
List.exists (fun m -> |
| 17 |
let module M = (val m : PluginType.PluginType) in
|
|
| 17 |
let module M = (val m : PluginType.S) in
|
|
| 18 | 18 |
M.check_force_stateful () |
| 19 | 19 |
) plugins |
| 20 | 20 |
|
| 21 | 21 |
let refine_machine_code prog machine_code = |
| 22 | 22 |
List.fold_left (fun accu m -> |
| 23 |
let module M = (val m : PluginType.PluginType) in
|
|
| 23 |
let module M = (val m : PluginType.S) in
|
|
| 24 | 24 |
M.refine_machine_code prog accu |
| 25 | 25 |
) machine_code plugins |
| 26 | 26 |
|
| 27 | 27 |
|
| 28 | 28 |
let c_backend_main_loop_body_prefix basename mname fmt () = |
| 29 |
List.iter (fun (m: (module PluginType.PluginType)) ->
|
|
| 30 |
let module M = (val m : PluginType.PluginType) in
|
|
| 29 |
List.iter (fun (m: (module PluginType.S)) ->
|
|
| 30 |
let module M = (val m : PluginType.S) in
|
|
| 31 | 31 |
M.c_backend_main_loop_body_prefix basename mname fmt ()) plugins |
| 32 | 32 |
|
| 33 | 33 |
let c_backend_main_loop_body_suffix fmt () = |
| 34 |
List.iter (fun (m: (module PluginType.PluginType)) ->
|
|
| 35 |
let module M = (val m : PluginType.PluginType) in
|
|
| 34 |
List.iter (fun (m: (module PluginType.S)) ->
|
|
| 35 |
let module M = (val m : PluginType.S) in
|
|
| 36 | 36 |
M.c_backend_main_loop_body_suffix fmt ()) plugins |
| 37 | 37 |
|
| 38 | 38 |
(* Specific treatment of annotations when inlining, specific of declared plugins *) |
Also available in: Unified diff