Revision 2863281f
Added by Pierre-Loïc Garoche almost 7 years ago
src/backends/Horn/horn_backend_common.ml | ||
---|---|---|
113 | 113 |
List.fold_left (fun accu (id, (n, _)) -> |
114 | 114 |
let name = node_name n in |
115 | 115 |
if name = "_arrow" then |
116 |
let arrow_machine = Machine_code.arrow_machine in |
|
116 |
let arrow_machine = Machine_code_common.arrow_machine in
|
|
117 | 117 |
(rename_machine_list |
118 | 118 |
(concat prefix (concat (if fst then id else concat m.mname.node_id id) "_arrow")) |
119 | 119 |
arrow_machine.mmemory |
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