Project

General

Profile

Revision 7ac15bcf

View differences:

src/c_backend.ml
624 624
    pp_machine_static_link_name m.mname.node_id
625 625
    (Utils.fprintf_list ~sep:";\\@,"
626 626
       (fun fmt v ->
627
	 fprintf fmt "inst.%s = &%s"
627
	 fprintf fmt "inst._reg.%s = &%s"
628 628
	   v.var_id
629 629
	   v.var_id
630 630
       )) array_mem
......
711 711
  let base_type = Types.array_base_type vdecl.var_type in
712 712
  let size_types = Types.array_type_multi_dimension vdecl.var_type in
713 713
  let size_type = Dimension.multi_dimension_product vdecl.var_loc size_types in
714
  fprintf fmt "_alloc->%s = (%a*) malloc((%a)*sizeof(%a));@,assert(_alloc->%s);@,"
714
  fprintf fmt "_alloc->_reg.%s = (%a*) malloc((%a)*sizeof(%a));@,assert(_alloc->%s);@,"
715 715
    vdecl.var_id
716 716
    (pp_c_type "") base_type
717 717
    Dimension.pp_dimension size_type
src/types.ml
142 142
      print_ty fmt ty
143 143
  | Tunivar ->
144 144
    fprintf fmt "'%s" (name_of_type ty.tid)
145
  | _   -> assert false
146 145

  
147 146
let pp_error fmt = function
148 147
  | Unbound_value id ->

Also available in: Unified diff