Project

General

Profile

« Previous | Next » 

Revision 65de9931

Added by Pierre-Loïc Garoche about 5 years ago

New feature to specify the number of digits to be printed

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