Revision b3f91fdb
Added by Xavier Thirioux almost 8 years ago
| 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
LOTS of bug correction wrt inlining, still a work in progress...
- global constants were not accounted for
- no good avoidance of name capture when inlining
- static parameters (array sizes and clocks) not handled
- ill-typed generated expressions, when inlining array expressions