- try
- List.combine names cic_args
- with Invalid_argument _ ->
- raise (Invalid_choice (lazy "The notation expects a different number of arguments"))
+ let rec combine_with_rest l1 l2 =
+ match l1,l2 with
+ _::_,[] -> raise (Invalid_argument "combine_with_rest")
+ | [],rest -> [],rest
+ | he1::tl1,he2::tl2 ->
+ let l,rest = combine_with_rest tl1 tl2 in
+ (he1,he2)::l,rest
+ in
+ try
+ combine_with_rest names cic_args
+ with Invalid_argument _ ->
+ raise (Invalid_choice (None, lazy ("The notation " ^ dsc ^ " expects more arguments")))