Project

General

Profile

Revision f4cba4b8 src/corelang.ml

View differences:

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