Project

General

Profile

Revision 04a188ec src/checks/stateless.ml

View differences:

src/checks/stateless.ml
41 41
          with Not_found ->
42 42
            let loc = expr.expr_loc in
43 43
            Error.pp_error loc (fun fmt -> Format.fprintf fmt "Unable to find node %s in expression %a" i Printers.pp_expr expr);
44
            raise (Corelang.Error (loc, Error.Unbound_symbol i))
44
            raise (Error.Error (loc, Error.Unbound_symbol i))
45 45
        ))
46 46
  
47 47
and compute_node nd = (* returns true iff the node is stateless.*)

Also available in: Unified diff