Mercurial > urweb

changeset 1554:396e8d881205

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Better detection of type class witnesses in local bindings
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Sep 2011 08:57:13 -0400
parents 4105f779de7b
children d5c961c709f9
files src/elaborate.sml
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/elaborate.sml	Sun Aug 28 19:32:20 2011 -0400
+++ b/src/elaborate.sml	Sat Sep 03 08:57:13 2011 -0400
@@ -2184,6 +2184,9 @@
 
                     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