summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-08-06 15:23:04 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-08-06 15:23:04 -0400
commitc79947821b62c16f0a5a21fb5ec935c1dba00aae (patch)
tree3ed9eef6d1b6808215e7d7073c5b412839b98204 /src/elaborate.sml
parent38dade494489b5d093cc9bb8f7542de1324f2d55 (diff)
Fix type class resolution infinite loop, discovered while meeting with Ezra
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r--src/elaborate.sml8
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