Project

General

Profile

Revision b08ffca7 src/stateless.ml

View differences:

src/stateless.ml
36 36
    check_expr e' &&
37 37
      (Basic_library.is_internal_fun i || check_node (node_from_name i))
38 38
and compute_node nd =
39
 List.for_all (fun eq -> check_expr eq.eq_rhs) nd.node_eqs
39
 List.for_all (fun eq -> check_expr eq.eq_rhs) (get_node_eqs nd)
40 40
and check_node td =
41 41
  match td.top_decl_desc with 
42 42
  | Node nd         -> (

Also available in: Unified diff