Revision 2863281f
Added by Pierre-Loïc Garoche almost 7 years ago
src/corelang.ml | ||
---|---|---|
55 | 55 |
var_clock = Clocks.new_var true; |
56 | 56 |
var_loc = loc } |
57 | 57 |
|
58 |
let dummy_var_decl name typ = |
|
59 |
{ |
|
60 |
var_id = name; |
|
61 |
var_orig = false; |
|
62 |
var_dec_type = dummy_type_dec; |
|
63 |
var_dec_clock = dummy_clock_dec; |
|
64 |
var_dec_const = false; |
|
65 |
var_dec_value = None; |
|
66 |
var_parent_nodeid = None; |
|
67 |
var_type = typ; |
|
68 |
var_clock = Clocks.new_ck Clocks.Cvar true; |
|
69 |
var_loc = Location.dummy_loc |
|
70 |
} |
|
71 |
|
|
58 | 72 |
let mkexpr loc d = |
59 | 73 |
{ expr_tag = Utils.new_tag (); |
60 | 74 |
expr_desc = d; |
... | ... | |
1157 | 1171 |
| Expr_ident _ -> false |
1158 | 1172 |
) |
1159 | 1173 |
|
1174 |
|
|
1175 |
|
|
1176 |
|
|
1160 | 1177 |
(* Local Variables: *) |
1161 | 1178 |
(* compile-command:"make -C .." *) |
1162 | 1179 |
(* End: *) |
Also available in: Unified diff
Further restructuring:
- arrow.ml* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)
- machine_code restricted to the translatation from normalized nodes to machines