From f2ae62f46ac8b9cefc841bd064c7ea8317cc9752 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 5 May 2012 12:45:35 -0400 Subject: Send daemon output to calling process --- src/elaborate.sml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/elaborate.sml') diff --git a/src/elaborate.sml b/src/elaborate.sml index 5799d6bb..fe2e2f12 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -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 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) = (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 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) = 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 @@ fun elabFile basis basis_tm topStr topSgn top_tm env file = 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) -- cgit v1.2.3