Revision 2863281f
Added by Pierre-Loïc Garoche almost 7 years ago
src/backends/Horn/horn_backend_printers.ml | ||
---|---|---|
19 | 19 |
open Lustre_types |
20 | 20 |
open Machine_code_types |
21 | 21 |
open Corelang |
22 |
open Machine_code |
|
22 |
open Machine_code_common
|
|
23 | 23 |
|
24 | 24 |
open Horn_backend_common |
25 | 25 |
|
... | ... | |
406 | 406 |
We first declare all variables then the two /rules/. |
407 | 407 |
*) |
408 | 408 |
let print_machine machines fmt m = |
409 |
if m.mname.node_id = arrow_id then |
|
409 |
if m.mname.node_id = Arrow.arrow_id then
|
|
410 | 410 |
(* We don't print arrow function *) |
411 | 411 |
() |
412 | 412 |
else |
... | ... | |
534 | 534 |
|
535 | 535 |
(*a function to print the rules in case we have an s-function*) |
536 | 536 |
let print_sfunction machines fmt m = |
537 |
if m.mname.node_id = arrow_id then |
|
537 |
if m.mname.node_id = Arrow.arrow_id then
|
|
538 | 538 |
(* We don't print arrow function *) |
539 | 539 |
() |
540 | 540 |
else |
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