Project

General

Profile

Revision 01d48bb0 src/backends/C/c_backend_main.ml

View differences:

src/backends/C/c_backend_main.ml
31 31
(********************************************************************************************)
32 32

  
33 33
let print_get_input fmt v =
34
  match v.var_type.Types.tdesc with
34
  match (Types.repr v.var_type).Types.tdesc with
35 35
    | Types.Tint -> fprintf fmt "_get_int(\"%s\")" v.var_id
36 36
    | Types.Tbool -> fprintf fmt "_get_bool(\"%s\")" v.var_id
37 37
    | Types.Treal -> fprintf fmt "_get_double(\"%s\")" v.var_id
......
39 39

  
40 40
let print_put_outputs fmt ol = 
41 41
  let po fmt o =
42
    match o.var_type.Types.tdesc with
42
    match (Types.repr o.var_type).Types.tdesc with
43 43
    | Types.Tint -> fprintf fmt "_put_int(\"%s\", %s)" o.var_id o.var_id
44 44
    | Types.Tbool -> fprintf fmt "_put_bool(\"%s\", %s)" o.var_id o.var_id
45 45
    | Types.Treal -> fprintf fmt "_put_double(\"%s\", %s)" o.var_id o.var_id

Also available in: Unified diff