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 |
| 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
more explanation in case of failure. Still dirty