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