diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-12-12 17:42:48 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-12-12 17:42:48 -0500 |
commit | a24c2bdaf85c3d4eef19783e95b11d1cf15add09 (patch) | |
tree | d3c882ae31c045044de6538db6dc9e13cf347f66 /src/tag.sml | |
parent | 106d1b7275e44cf419665e92b2682e009b51f095 (diff) |
Start SQL transactions as read-only when possible, based on conservative program analysis
Diffstat (limited to 'src/tag.sml')
-rw-r--r-- | src/tag.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tag.sml b/src/tag.sml index 9c4807c6..865e7f53 100644 --- a/src/tag.sml +++ b/src/tag.sml @@ -145,7 +145,7 @@ fun exp env (e, s) = end in case x of - (CName "Link", _) => tagIt' (Link, "Link") + (CName "Link", _) => tagIt' (Link ReadWrite, "Link") | (CName "Action", _) => tagIt' (Action ReadWrite, "Action") | _ => ((x, e, t), s) end) @@ -180,7 +180,7 @@ fun exp env (e, s) = | EFfiApp ("Basis", "url", [(e, t)]) => let - val (e, s) = tagIt (e, Link, "Url", s) + val (e, s) = tagIt (e, Link ReadWrite, "Url", s) in (EFfiApp ("Basis", "url", [(e, t)]), s) end @@ -201,7 +201,7 @@ fun exp env (e, s) = case eo of SOME (EAbs (_, _, _, (EFfiApp ("Basis", "url", [((ERel 0, _), t)]), _)), _) => let - val (e, s) = tagIt (e', Link, "Url", s) + val (e, s) = tagIt (e', Link ReadWrite, "Url", s) in (EFfiApp ("Basis", "url", [(e, t)]), s) end |