CristalCaveGem » LustreC

    | _ -> assert false (*TODO*)

(** Extract from a machine list the one corresponding to the given instance.

   @param machines list of all machines

   @param instance instance of a machine

   @return the machine corresponding to hte given instance

**)

let get_machine machines instance =

    let id = (extract_node instance).node_id in

(* Type pretty print functions *)

    | Types.Tbasic Types.Basic.Treal -> pp_float_type fmt

    | Types.Tbasic Types.Basic.Tbool -> pp_boolean_type fmt

    | Types.Tunivar _                -> pp_polymorphic_type fmt typ.tid

    | Types.Tconst _                 -> eprintf "Tconst@."; assert false (*TODO*)

    | Types.Tclock _                 -> eprintf "Tclock@."; assert false (*TODO*)

    | Types.Tarrow _                 -> eprintf "Tarrow@."; assert false (*TODO*)

    | _ -> eprintf "Type error : %a@." Types.print_ty typ; assert false (*TODO*)

  )

(** Print the type of a variable.

   @param fmt the formater to print on

   @param id the variable

let pp_clear_prototype m fmt =

  pp_base_prototype InOut m.mstatic [] fmt pp_clear_procedure_name

(* Functions which computes the substitution for polymorphic type *)

(** Find a submachine step call in a list of instructions.

    begin

      (* We check that the type corresponding to type_poly in the subsitution

         match typ *)

      (* We return the original substituion, it is already correct *)

      substituion

    end

       polymorphic type of the node *)

  let polymorphic_types = find_all_polymorphic_type submachine in

  assert (List.length polymorphic_types = List.length substitution);

  substitution