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