summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-10-10 18:04:29 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2013-10-10 18:04:29 -0400
commit71c58074582c14d4ff6ba38f60be80dad0e36be5 (patch)
tree89074a922f4063d2981d29a2e3cef2c2a4e26057
parent08bee251e9471ab1c1e634e85cd2e1c3830cd566 (diff)
Remove debug prints
-rw-r--r--src/corify.sml4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/corify.sml b/src/corify.sml
index 4ab45983..c06d62ca 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -796,7 +796,7 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) =
end
| L.DFfiStr (m, n, (sgn, _)) =>
- (print ("~~~" ^ m ^ "\n"); case sgn of
+ (case sgn of
L.SgnConst sgis =>
let
val (ds, cmap, conmap, st, _) =
@@ -943,8 +943,6 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) =
| L'.CApp ((L'.CFfi ("Basis", "transaction"), _), _) => true
| _ => false
in
- Print.epreface (x, CorePrint.p_con CoreEnv.empty c);
-
if isTransactional c then
let
val ffi = (m, x)