Project

General

Profile

Revision 0038002e src/stateless.ml

View differences:

src/stateless.ml
19 19
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
20 20
 * USA
21 21
 *---------------------------------------------------------------------------- *)
22
open LustreSpec
22 23
open Corelang
23 24

  
24 25
type error =
......
44 45
  | Expr_appl (i, e', i') ->
45 46
    check_expr e' &&
46 47
      (Basic_library.is_internal_fun i || check_node (node_from_name i))
47
  | Expr_uclock _
48
  | Expr_dclock _
49
  | Expr_phclock _ -> assert false
50 48
and compute_node nd =
51 49
 List.for_all (fun eq -> check_expr eq.eq_rhs) nd.node_eqs
52 50
and check_node td =

Also available in: Unified diff