Revision 2863281f
Added by Pierre-Loïc Garoche almost 7 years ago
src/backends/EMF/EMF_common.ml | ||
---|---|---|
2 | 2 |
open Machine_code_types |
3 | 3 |
module VSet = Corelang.VSet |
4 | 4 |
open Format |
5 |
open Machine_code
|
|
5 |
open Machine_code_common
|
|
6 | 6 |
|
7 | 7 |
(* Matlab starting counting from 1. |
8 | 8 |
simple function to extract the element id in the list. Starts from 1. *) |
... | ... | |
221 | 221 |
fprintf fmt "\"datatype\": \"%a\"@ " pp_var_type v; |
222 | 222 |
fprintf fmt "@]}" |
223 | 223 |
) |
224 |
| _ -> eprintf "Not of cst or var: %a@." Machine_code.pp_val v ; assert false (* Invalid argument *)
|
|
224 |
| _ -> eprintf "Not of cst or var: %a@." pp_val v ; assert false (* Invalid argument *) |
|
225 | 225 |
|
226 | 226 |
|
227 | 227 |
let pp_emf_cst_or_var_list = |
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