Project

General

Profile

Revision 53206908 src/stateless.ml

View differences:

src/stateless.ml
34 34
  | Expr_merge (i, hl) -> List.for_all (fun (t, h) -> check_expr h) hl 
35 35
  | Expr_appl (i, e', i') ->
36 36
    check_expr e' &&
37
      (Basic_library.is_internal_fun i || check_node (node_from_name i))
37
      (Basic_library.is_stateless_fun i || check_node (node_from_name i))
38 38
and compute_node nd =
39 39
 List.for_all (fun eq -> check_expr eq.eq_rhs) (get_node_eqs nd)
40 40
and check_node td =
......
56 56
let check_prog decls =
57 57
  List.iter (fun td -> ignore (check_node td)) decls
58 58

  
59

  
60
let force_prog decls =
61
  let force_node td =
62
    match td.top_decl_desc with 
63
    | Node nd         -> (
64
      nd.node_dec_stateless <- false;
65
      nd.node_stateless <- Some false)
66
    | _ -> ()
67
  in
68
  List.iter (fun td -> ignore (force_node td)) decls
69

  
59 70
let check_compat_decl decl =
60 71
 match decl.top_decl_desc with
61 72
 | ImportedNode nd ->

Also available in: Unified diff