Revision 4034b51c
Added by Pierre-Loïc Garoche about 4 years ago
| 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 |
Also available in: Unified diff
more explanation in case of failure. Still dirty