Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
313:e0ed0d4dabc9 314:a07f476d9b61
1592 val (_, t, _, s) = Env.lookupENamed env n 1592 val (_, t, _, s) = Env.lookupENamed env n
1593 1593
1594 fun unwind (t, _) = 1594 fun unwind (t, _) =
1595 case t of 1595 case t of
1596 L.TFun (dom, ran) => dom :: unwind ran 1596 L.TFun (dom, ran) => dom :: unwind ran
1597 | L.CApp ((L.CFfi ("Basis", "transaction"), _), t) =>
1598 (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc) :: unwind t
1597 | _ => [] 1599 | _ => []
1598 1600
1599 val ts = map (monoType env) (unwind t) 1601 val ts = map (monoType env) (unwind t)
1600 in 1602 in
1601 SOME (env, fm, [(L'.DExport (ek, s, n, ts), loc)]) 1603 SOME (env, fm, [(L'.DExport (ek, s, n, ts), loc)])