Revision 66359a5e
Added by Pierre-Loïc Garoche about 7 years ago
| src/compiler_common.ml | ||
|---|---|---|
| 262 | 262 |
else () |
| 263 | 263 |
|
| 264 | 264 |
|
| 265 |
|
|
| 265 |
let update_vdecl_parents_prog prog = |
|
| 266 |
let update_vdecl_parents parent v = |
|
| 267 |
v.var_parent_nodeid <- Some parent |
|
| 268 |
in |
|
| 269 |
List.iter ( |
|
| 270 |
fun top -> match top.top_decl_desc with |
|
| 271 |
| Node nd -> |
|
| 272 |
List.iter |
|
| 273 |
(update_vdecl_parents nd.node_id) |
|
| 274 |
(nd.node_inputs @ nd.node_outputs @ nd.node_locals ) |
|
| 275 |
| ImportedNode ind -> |
|
| 276 |
List.iter |
|
| 277 |
(update_vdecl_parents ind.nodei_id) |
|
| 278 |
(ind.nodei_inputs @ ind.nodei_outputs ) |
|
| 279 |
| _ -> () |
|
| 280 |
) prog |
|
Also available in: Unified diff
[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program