Mercurial > urweb

diff src/monoize.sml @ 314:a07f476d9b61

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Termination checking allows anything in links and actions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Sep 2008 12:36:13 -0400
parents 9ad92047a499
children e457d8972ff1
line wrap: on
line diff
--- a/src/monoize.sml	Tue Sep 09 11:46:33 2008 -0400
+++ b/src/monoize.sml	Tue Sep 09 12:36:13 2008 -0400
@@ -1594,6 +1594,8 @@
                 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)