Project

General

Profile

Revision 7d640c88 src/causality.ml

View differences:

src/causality.ml
330 330
  let rec filter_static_inputs inputs args =
331 331
   match inputs, args with
332 332
   | []   , [] -> []
333
   | v::vq, a::aq -> if v.var_dec_const then (dimension_of_expr a) :: filter_static_inputs vq aq else filter_static_inputs vq aq
333
   | v::vq, a::aq -> if v.var_dec_const && Types.is_dimension_type v.var_type then (dimension_of_expr a) :: filter_static_inputs vq aq else filter_static_inputs vq aq
334 334
   | _ -> assert false
335 335

  
336 336
  let compute_generic_calls prog =

Also available in: Unified diff