Revision 3b2bd83d
Added by Teme Kahsai about 8 years ago
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
updating to onera version 30f766a:2016-12-04