Project

General

Profile

« Previous | Next » 

Revision 7291cb80

Added by Xavier Thirioux over 9 years ago

- merged test script
- added -d support
- corrected #open parser problem
- corrected interface/implementation (.lusi/.lus) checking
for types (not yet for clocks)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@171 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/printers.ml
48 48 
    | Const_tag  t -> pp_print_string fmt t
49 49 
    | Const_array ca -> Format.fprintf fmt "[%a]" (Utils.fprintf_list ~sep:"," pp_const) ca
50 50 

  		




  51
  
  
    
and pp_var fmt id = fprintf fmt "%s: %a" id.var_id Types.print_ty id.var_type


  		




  
  51
  
    
and pp_var fmt id = fprintf fmt "%s%s: %a" (if id.var_dec_const then "const " else "") id.var_id Types.print_ty id.var_type


  		




  
  52
  
    

  		




  
  53
  
    
and pp_node_var fmt id = fprintf fmt "%s%s: %a" (if id.var_dec_const then "const " else "") id.var_id Types.print_node_ty id.var_type


  		




  52
  54
  
    

  		




  53
  55
  
    
and pp_expr fmt expr =


  		




  54
  56
  
    
  match expr.expr_desc with


  		




  ......




  113
  115
  
    

  		




  114
  116
  
    
let pp_node_eqs = fprintf_list ~sep:"@ " pp_node_eq 


  		




  115
  117
  
    

  		




  116
  
  
    
let pp_node_args = fprintf_list ~sep:"; " pp_var 


  		




  
  118
  
    
let pp_node_args = fprintf_list ~sep:"; " pp_node_var 


  		




  117
  119
  
    

  		




  118
  120
  
    
let pp_var_type_dec fmt ty =


  		




  119
  121
  
    
  let rec pp_var_type_dec_desc fmt tdesc =


  		




  ......




  226
  228
  
    
  match locals with [] -> () | _ ->


  		




  227
  229
  
    
    fprintf fmt "@[<v 4>var %a@]@ " 


  		




  228
  230
  
    
      (fprintf_list ~sep:"@ " 


  		




  229
  
  
    
	 (fun fmt v -> fprintf fmt "%a;" pp_var v))


  		




  
  231
  
    
	 (fun fmt v -> fprintf fmt "%a;" pp_node_var v))


  		




  230
  232
  
    
      locals


  		




  231
  233
  
    
  ) nd.node_locals


  		




  232
  234
  
    
  (fun fmt checks ->


  		












Also available in:  Unified diff