Project

General

Profile

Revision fc886259 src/typing.ml

View differences:

src/typing.ml
566 566
 | _                   -> ()
567 567

  
568 568
let type_var_decl vd_env env vdecl =
569
(*Format.eprintf "Typing.type_var_decl START %a@." Printers.pp_var vdecl;*)
569 570
  check_type_declaration vdecl.var_loc vdecl.var_dec_type.ty_dec_desc;
570 571
  let eval_const id = Types.get_static_value (Env.lookup_value env id) in
571 572
  let type_dim d =
......
581 582
  let new_env = Env.add_value env vdecl.var_id ty_status in
582 583
  type_coreclock (new_env,vd_env) vdecl.var_dec_clock vdecl.var_id vdecl.var_loc;
583 584
  vdecl.var_type <- ty_status;
585
(*Format.eprintf "END@.";*)
584 586
  new_env
585 587

  
586 588
let type_var_decl_list vd_env env l =

Also available in: Unified diff