File tree Expand file tree Collapse file tree 3 files changed +7
-1
lines changed Expand file tree Collapse file tree 3 files changed +7
-1
lines changed Original file line number Diff line number Diff line change @@ -774,3 +774,7 @@ let filter lst p =
774
774
| x :: l -> if p x then find (x :: accu) l ~p else find accu l ~p
775
775
in
776
776
find [] lst ~p
777
+
778
+ let is_empty = function
779
+ | [] -> true
780
+ | _ :: _ -> false
Original file line number Diff line number Diff line change @@ -231,3 +231,5 @@ val filter : 'a list -> ('a -> bool) -> 'a list
231
231
232
232
val array_list_filter_map :
233
233
'a array -> 'b list -> ('a -> 'b -> 'c option ) -> 'c list
234
+
235
+ val is_empty : 'a list -> bool
Original file line number Diff line number Diff line change @@ -1625,7 +1625,7 @@ module Migrate = struct
1625
1625
MapperUtils. get_template_args_to_insert mapper template_args
1626
1626
[]
1627
1627
in
1628
- if List . is_empty template_args_to_insert then
1628
+ if Ext_list . is_empty template_args_to_insert then
1629
1629
{
1630
1630
exp with
1631
1631
pexp_desc =
You can’t perform that action at this time.
0 commit comments