Mercurial > urweb

diff src/elaborate.sml @ 904:6d9538ce94d8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix type class resolution infinite loop, discovered while meeting with Ezra
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Aug 2009 15:23:04 -0400
parents d1d0b18afd3d
children b26823138bf8
line wrap: on
line diff
--- a/src/elaborate.sml	Thu Aug 06 14:57:44 2009 -0400
+++ b/src/elaborate.sml	Thu Aug 06 15:23:04 2009 -0400
@@ -3175,7 +3175,7 @@
 
 and elabDecl (dAll as (d, loc), (env, denv, gs)) =
     let
-        (*val () = preface ("elabDecl", SourcePrint.p_decl (d, loc))*)
+        (*val () = preface ("elabDecl", SourcePrint.p_decl dAll)*)
         (*val befor = Time.now ()*)
 
         val r = 
@@ -3410,7 +3410,6 @@
                              L'.StrFun _ => ()
                            | _ => strError env (FunctorRebind loc))
                       | _ => ();
-
                     ([(L'.DStr (x, n, sgn', str'), loc)], (env', denv', gs' @ gs))
                 end
 
@@ -3620,10 +3619,7 @@
 
         (*val tcs = List.filter (fn TypeClass _ => true | _ => false) (#3 (#2 r))*)
     in
-        (*prefaces "elabDecl" [("e", SourcePrint.p_decl dAll),
-                             ("t", PD.string (LargeReal.toString (Time.toReal
-                                                                      (Time.- (Time.now (), befor)))))];*)
-
+        (*prefaces "/elabDecl" [("d", SourcePrint.p_decl dAll)];*)
         r
     end