Project

General

Profile

« Previous | Next » 

Revision 3b2bd83d

Added by Teme Kahsai about 8 years ago

updating to onera version 30f766a:2016-12-04

View differences:

src/splitting.ml
21 21
  | Expr_ident _ -> [expr]
22 22
  | Expr_tuple elist -> elist
23 23
  | Expr_appl (id, args, r) ->
24
    if Basic_library.is_internal_fun id
24
    if Basic_library.is_homomorphic_fun id 
25 25
    then
26 26
      let args_list = List.map tuple_split_expr (expr_list_of_expr args) in
27 27
      List.map

Also available in: Unified diff