Project

General

Profile

« Previous | Next » 

Revision b1ac8bbf

Added by Guillaume DAVY over 5 years ago

Ada: Add a pp_with for general with ada statement

View differences:

src/backends/Ada/ada_backend_common.ml
118 118 
    | Node nd         -> nd
119 119 
    | _ -> assert false (*TODO*)
120 120 

  		




  
  121
  
    
(** Print a with statement to include a package.


  		




  
  122
  
    
   @param fmt the formater to print on


  		




  
  123
  
    
   @param pp_pakage_name the package name printer


  		




  
  124
  
    
**)


  		




  
  125
  
    
let pp_with fmt pp_pakage_name =


  		




  
  126
  
    
  fprintf fmt "with %t" pp_pakage_name


  		




  
  127
  
    

  		




  121
  128
  
    
(** Print a with statement to include a machine.


  		




  122
  129
  
    
   @param fmt the formater to print on


  		




  123
  130
  
    
   @param machine the machine


  		












Also available in:  Unified diff