Revision f4cba4b8 src/corelang.ml
src/corelang.ml | ||
---|---|---|
324 | 324 |
| ImportedNode nd -> true |
325 | 325 |
| _ -> assert false |
326 | 326 |
|
327 |
let is_contract td = |
|
328 |
match td.top_decl_desc with |
|
329 |
| Node nd -> ( |
|
330 |
match nd.node_spec with |
|
331 |
| Some (Contract _) -> true |
|
332 |
| _ -> false |
|
333 |
) |
|
334 |
| _ -> false |
|
335 |
|
|
327 | 336 |
|
328 | 337 |
(* alias and type definition table *) |
329 | 338 |
|
... | ... | |
855 | 864 |
node_stateless = nd.node_stateless; |
856 | 865 |
node_spec = spec; |
857 | 866 |
node_annot = annot; |
867 |
node_iscontract = nd.node_iscontract; |
|
858 | 868 |
} |
859 | 869 |
|
860 | 870 |
|
... | ... | |
1255 | 1265 |
in |
1256 | 1266 |
aux [] eqs |
1257 | 1267 |
|
1268 |
|
|
1269 |
|
|
1270 |
|
|
1258 | 1271 |
(* Local Variables: *) |
1259 | 1272 |
(* compile-command:"make -C .." *) |
1260 | 1273 |
(* End: *) |
Also available in: Unified diff