summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-09 12:36:13 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-09 12:36:13 -0400
commit9e804908dd69043c8a9942cdf6042b8dc0d76175 (patch)
tree4437f1d468859452358a91bf5ba7071b11a1a419 /src/monoize.sml
parent4960cd8c2ec1e02c90e42d16db13f045427b4173 (diff)
Termination checking allows anything in links and actions
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index e7e28ef0..472e04cb 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -1594,6 +1594,8 @@ fun monoDecl (env, fm) (all as (d, loc)) =
fun unwind (t, _) =
case t of
L.TFun (dom, ran) => dom :: unwind ran
+ | L.CApp ((L.CFfi ("Basis", "transaction"), _), t) =>
+ (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc) :: unwind t
| _ => []
val ts = map (monoType env) (unwind t)