From b2b325a1d3c143f90a50a61cc9410efcd437d4b0 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 30 Mar 2020 14:59:02 -0400
Subject: [typeclasses] Use label for `fail_evar` parameter.

This makes code a bit more clear.
---
 pretyping/pretyping.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'pretyping')

diff --git a/pretyping/pretyping.ml b/pretyping/pretyping.ml
index ded159e484..52122c09df 100644
--- a/pretyping/pretyping.ml
+++ b/pretyping/pretyping.ml
@@ -231,7 +231,7 @@ let frozen_and_pending_holes (sigma, sigma') =
     end in
     FrozenProgress data
 
-let apply_typeclasses ~program_mode env sigma frozen fail_evar =
+let apply_typeclasses ~program_mode ~fail_evar env sigma frozen =
   let filter_frozen = match frozen with
     | FrozenId map -> fun evk -> Evar.Map.mem evk map
     | FrozenProgress (lazy (frozen, _)) -> fun evk -> Evar.Set.mem evk frozen
@@ -270,7 +270,7 @@ let apply_heuristics env sigma fail_evar =
 
 let check_typeclasses_instances_are_solved ~program_mode env current_sigma frozen =
   (* Naive way, call resolution again with failure flag *)
-  apply_typeclasses ~program_mode env current_sigma frozen true
+  apply_typeclasses ~program_mode ~fail_evar:true env current_sigma frozen
 
 let check_extra_evars_are_solved env current_sigma frozen = match frozen with
 | FrozenId _ -> ()
@@ -313,7 +313,7 @@ let solve_remaining_evars ?hook flags env ?initial sigma =
   let frozen = frozen_and_pending_holes (initial, sigma) in
   let sigma =
     if flags.use_typeclasses
-    then apply_typeclasses ~program_mode env sigma frozen false
+    then apply_typeclasses ~fail_evar:false ~program_mode env sigma frozen
     else sigma
   in
   let sigma = match hook with
-- 
cgit v1.2.3