Project

General

Profile

Revision 53206908 src/causality.ml

View differences:

src/causality.ml
225 225
    | Expr_arrow (e1, e2)  -> add_dep lhs_is_mem lhs e2 (add_dep lhs_is_mem lhs e1 g)
226 226
    | Expr_when  (e, c, _)  -> add_dep lhs_is_mem lhs e (add_var lhs_is_mem lhs c g)
227 227
    | Expr_appl (f, e, None) ->
228
      if Basic_library.is_internal_fun f
228
      if Basic_library.is_expr_internal_fun rhs
229 229
      (* tuple component-wise dependency for internal operators *)
230 230
      then
231 231
	List.fold_right (add_dep lhs_is_mem lhs) (expr_list_of_expr e) g
......
278 278
      | Expr_pre e 
279 279
      | Expr_when (e,_,_) -> get_expr_calls prednode e
280 280
      | Expr_appl (id,e, _) ->
281
	if not (Basic_library.is_internal_fun id) && prednode id
281
	if not (Basic_library.is_expr_internal_fun expr) && prednode id
282 282
	then ESet.add expr (get_expr_calls prednode e)
283 283
	else (get_expr_calls prednode e)
284 284

  

Also available in: Unified diff