Mercurial > urweb

comparison src/corify.sml @ 1879:c1ee5dec9cff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove debug prints
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Oct 2013 18:04:29 -0400
parents df6a040f5389
children 6745eafff617
comparison
equal deleted inserted replaced
1878:df6a040f5389 1879:c1ee5dec9cff
794 in 794 in
795 (ds, st) 795 (ds, st)
796 end 796 end
797 797
798 | L.DFfiStr (m, n, (sgn, _)) => 798 | L.DFfiStr (m, n, (sgn, _)) =>
799 (print ("~~~" ^ m ^ "\n"); case sgn of 799 (case sgn of
800 L.SgnConst sgis => 800 L.SgnConst sgis =>
801 let 801 let
802 val (ds, cmap, conmap, st, _) = 802 val (ds, cmap, conmap, st, _) =
803 foldl (fn ((sgi, _), (ds, cmap, conmap, st, trans)) => 803 foldl (fn ((sgi, _), (ds, cmap, conmap, st, trans)) =>
804 case sgi of 804 case sgi of
941 case c of 941 case c of
942 L'.TFun (_, c) => isTransactional c 942 L'.TFun (_, c) => isTransactional c
943 | L'.CApp ((L'.CFfi ("Basis", "transaction"), _), _) => true 943 | L'.CApp ((L'.CFfi ("Basis", "transaction"), _), _) => true
944 | _ => false 944 | _ => false
945 in 945 in
946 Print.epreface (x, CorePrint.p_con CoreEnv.empty c);
947
948 if isTransactional c then 946 if isTransactional c then
949 let 947 let
950 val ffi = (m, x) 948 val ffi = (m, x)
951 in 949 in
952 if Settings.isBenignEffectful ffi then 950 if Settings.isBenignEffectful ffi then