Project

General

Profile

« Previous | Next » 

Revision 1147e80a

Added by Pierre-Loïc Garoche almost 5 years ago

Array access: solved issues in C backend when basic operations in array access dimensions. Also better handling in EMF, ie further normalization through new equations

View differences:

src/machine_code.ml
77 77 
        let typ = (typedef_of_top (Hashtbl.find Corelang.tag_table id)).tydef_id in
78 78 
        mk_val (Cst (Const_tag id)) (Type_predef.type_const typ)
79 79 
      with Not_found -> (Format.eprintf
80 
                           "internal error: Machine_code.translate_ident %s"
80 
                           "internal error: Machine_code.translate_ident %s@.@?"
81 81 
                           id;
82 82 
                         assert false)
83 83 

  		












Also available in:  Unified diff