Project

General

Profile

Revision 7291cb80 src/printers.ml

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