diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-09 12:36:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-09 12:36:13 -0400 |
| commit | 9e804908dd69043c8a9942cdf6042b8dc0d76175 (patch) | |
| tree | 4437f1d468859452358a91bf5ba7071b11a1a419 /src/monoize.sml | |
| parent | 4960cd8c2ec1e02c90e42d16db13f045427b4173 (diff) | |
Termination checking allows anything in links and actions
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 2 |
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) |