--- a/src/elaborate.sml	Fri May 04 10:38:22 2012 -0400
+++ b/src/elaborate.sml	Sat May 05 12:45:35 2012 -0400
@@ -41,6 +41,7 @@
  val dumpTypes = ref false
  val unifyMore = ref false
  val incremental = ref false
+ val verbose = ref false
 
  structure IS = IntBinarySet
  structure IM = IntBinaryMap
@@ -3931,6 +3932,7 @@
                 (case ModDb.lookup dAll of
                      SOME d =>
                      let
+                         val () = if !verbose then TextIO.print ("REUSE: " ^ x ^ "\n") else ()
                          val env' = E.declBinds env d
                          val denv' = dopenConstraints (loc, env', denv) {str = x, strs = []}
                      in
@@ -3938,6 +3940,8 @@
                      end
                    | NONE =>
                      let
+                         val () = if !verbose then TextIO.print ("CHECK: " ^ x ^ "\n") else ()
+
                          val () = if x = "Basis" then
                                       raise Fail "Not allowed to redefine structure 'Basis'"
                                   else
@@ -4680,7 +4684,7 @@
                                                   val c = normClassKey env c
                                               in
                                                   case resolveClass env c of
-                                                      SOME _ => raise Fail "Type class resolution succeeded unexpectedly"
+                                                      SOME _ => ()
                                                     | NONE => expError env (Unresolvable (loc, c))
                                               end)
                                           gs)