From f7ea0193c1aac918d8ed2df0d53df38dde5d1152 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Sun, 10 Apr 2016 18:30:38 +0200 Subject: Not taking arguments given by name or position into account when computing the arguments which allows to decide which list of implicit arguments to consider when several such lists are available. --- interp/constrintern.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'interp') diff --git a/interp/constrintern.ml b/interp/constrintern.ml index 072af0779..9304247a2 100644 --- a/interp/constrintern.ml +++ b/interp/constrintern.ml @@ -1723,7 +1723,7 @@ let internalize globalenv env allow_patvar lvar c = in aux 1 l subscopes eargs rargs and apply_impargs c env imp subscopes l loc = - let imp = select_impargs_size (List.length l) imp in + let imp = select_impargs_size (List.length (List.filter (fun (_,x) -> x == None) l)) imp in let l = intern_impargs c env imp subscopes l in smart_gapp c loc l -- cgit v1.2.3