From ad19583df3d07b968a9fb983813e45dc55fe2cc6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 3 Sep 2011 08:57:13 -0400
Subject: Better detection of type class witnesses in local bindings

---
 src/elaborate.sml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/elaborate.sml b/src/elaborate.sml
index f221f59e..b096813a 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -2184,6 +2184,9 @@ and elabEdecl denv (dAll as (d, loc), (env, gs)) =
 
                     val () = checkCon env e' et pt
 
+                    val env' = E.patBinds env p'
+                    (* Redo to get proper detection of type class witnesses *)
+
                     val pt = normClassConstraint env pt
                 in
                     case exhaustive (env, et, [p'], loc) of
-- 
cgit v1.2.3