diff options
author | 2009-08-06 15:23:04 -0400 | |
---|---|---|
committer | 2009-08-06 15:23:04 -0400 | |
commit | c79947821b62c16f0a5a21fb5ec935c1dba00aae (patch) | |
tree | 3ed9eef6d1b6808215e7d7073c5b412839b98204 /src/elaborate.sml | |
parent | 38dade494489b5d093cc9bb8f7542de1324f2d55 (diff) |
Fix type class resolution infinite loop, discovered while meeting with Ezra
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r-- | src/elaborate.sml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 6b25cedb..0a15dab1 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -3175,7 +3175,7 @@ and wildifyStr env (str, sgn) = 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 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) = L'.StrFun _ => () | _ => strError env (FunctorRebind loc)) | _ => (); - ([(L'.DStr (x, n, sgn', str'), loc)], (env', denv', gs' @ gs)) end @@ -3620,10 +3619,7 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) = (*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 |