Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/EMF/EMF_library_calls.ml | ||
---|---|---|
3 | 3 |
moment, modular compilation of multiple lustre sources as one output JSON is |
4 | 4 |
not considered. *) |
5 | 5 |
|
6 |
open Utils |
|
6 | 7 |
open Lustre_types |
7 | 8 |
open Machine_code_types |
8 | 9 |
open Format |
... | ... | |
18 | 19 |
"\"kind\": \"functioncall\",@ \"name\": \"%s\",@ \"library\": \"%s\",@ " |
19 | 20 |
name lib; |
20 | 21 |
fprintf fmt "\"lhs\": [@[%a@]],@ \"args\": [@[%a@]]" |
21 |
(Utils.fprintf_list ~sep:",@ " (fun fmt v -> |
|
22 |
fprintf fmt "\"%a\"" Printers.pp_var_name v)) |
|
22 |
(pp_comma_list (fun fmt v -> fprintf fmt "\"%a\"" Printers.pp_var_name v)) |
|
23 | 23 |
outputs (pp_emf_cst_or_var_list m) inputs |
24 | 24 |
| _ -> |
25 | 25 |
Format.eprintf "Calls to function %s in library %s are not handled yet.@." |
Also available in: Unified diff
another step towards refactoring