Project

General

Profile

« Previous | Next » 

Revision 4034b51c

Added by Pierre-Loïc Garoche about 4 years ago

more explanation in case of failure. Still dirty

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 -> assert false; raise (Error (loc, (Error.Unbound_symbol ("contract " ^ name))))
240
          with Not_found -> Format.eprintf "Where is contract %s@.@?" name; assert false; raise (Error (loc, (Error.Unbound_symbol ("contract " ^ name))))
241 241

  
242 242
         
243 243
        ) ([], c.consts@c.locals, c) c.imports
src/typing.ml
334 334
           with Not_found -> 
335 335
	     ty_struct
336 336
         end
337
      | Const_string _ | Const_modeid _     -> 
338
         if is_annot then (* Type_predef. *)type_string else  assert false (* string datatype should only appear in annotations *)
337
      | Const_string s | Const_modeid s     -> 
338
         if is_annot then (* Type_predef. *)type_string else (Format.eprintf "Typing string %s outisde of annot scope@.@?" s; assert false (* string datatype should only appear in annotations *))
339 339

  
340 340
    (* The following typing functions take as parameter an environment [env]
341 341
   and whether the element being typed is expected to be constant [const]. 

Also available in: Unified diff