Project

General

Profile

Revision 7ab1c5bd src/plugins.ml

View differences:

src/plugins.ml
25 25
  ) machine_code plugins
26 26

  
27 27

  
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
31
    M.c_backend_main_loop_body_prefix basename mname fmt ()) plugins
32

  
28 33
let c_backend_main_loop_body_suffix fmt () = 
29 34
  List.iter (fun (m: (module PluginType.PluginType)) -> 
30 35
    let module M = (val m : PluginType.PluginType) in

Also available in: Unified diff