Revision 2863281f
Added by Pierre-Loïc Garoche almost 7 years ago
src/main_lustre_compiler.ml | ||
---|---|---|
98 | 98 |
in |
99 | 99 |
|
100 | 100 |
Log.report ~level:1 (fun fmt -> fprintf fmt "@]@ "); |
101 |
Log.report ~level:3 (fun fmt -> fprintf fmt ".. Generated machines:@ %a@ "Machine_code.pp_machines machine_code);
|
|
101 |
Log.report ~level:3 (fun fmt -> fprintf fmt ".. Generated machines:@ %a@ " Machine_code_common.pp_machines machine_code);
|
|
102 | 102 |
|
103 | 103 |
if Scopes.Plugin.show_scopes () then |
104 | 104 |
begin |
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