Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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