Project

General

Profile

« Previous | Next » 

Revision 2863281f

Added by Pierre-Loïc Garoche almost 7 years ago

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

View differences:

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