Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/backends/Ada/ada_backend_common.mli
29 29

  
30 30
val pp_value : (string * printer) list -> formatter -> value_t -> unit
31 31

  
32
val pp_type : formatter -> type_expr -> unit
32
val pp_type : formatter -> Types.t -> unit
33 33

  
34 34
val pp_var_type : formatter -> var_decl -> unit
35 35

  
36 36
val pp_package_name : machine_t -> printer
37 37

  
38 38
val pp_package_name_with_polymorphic :
39
  (int * Types.type_expr) list -> machine_t -> printer
39
  (int * Types.t) list -> machine_t -> printer
40 40

  
41
val mk_default_value : type_expr -> value_t
41
val mk_default_value : Types.t -> value_t
42 42

  
43 43
val build_pp_var_decl : parameter_mode -> ada_with -> var_decl -> ada_var_decl
44 44

  
......
57 57
val build_pp_state_decl_from_subinstance :
58 58
  parameter_mode ->
59 59
  ada_with ->
60
  string * ((int * Types.type_expr) list * Machine_code_types.machine_t) ->
60
  string * ((int * Types.t) list * Machine_code_types.machine_t) ->
61 61
  ada_var_decl
62 62

  
63 63
val build_pp_state_decl : parameter_mode -> ada_with -> ada_var_decl

Also available in: Unified diff