diff options
author | 2013-10-10 18:04:29 -0400 | |
---|---|---|
committer | 2013-10-10 18:04:29 -0400 | |
commit | 7244c28025a9f64e444aabedfbae0b8a17fe25c1 (patch) | |
tree | 89074a922f4063d2981d29a2e3cef2c2a4e26057 /src/corify.sml | |
parent | cc0d74f6508fa9438d28d054b048a20ce5de7bca (diff) |
Remove debug prints
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 4 |
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) |