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/compiler_common.ml
237 237 
            let stmts = in_assigns :: out_assigns :: imp_nd.node_stmts @ stmts in
238 238 
            let c = merge_contracts c imp_c in
239 239 
            stmts, locals, c
240 
          with Not_found -> Format.eprintf "Where is contract %s@.@?" name; assert false; raise (Error (loc, (Error.Unbound_symbol ("contract " ^ name))))
240 
          with Not_found -> Format.eprintf "Where is contract %s@.@?" name; raise (Error (loc, (Error.Unbound_symbol ("contract " ^ name))))
241 241 

  		




  242
  242
  
    
         


  		




  243
  243
  
    
        ) ([], c.consts@c.locals, c) c.imports


  		












Also available in:  Unified diff