Mercurial > urweb
diff src/elaborate.sml @ 904:6d9538ce94d8
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