Mercurial > urweb

diff src/cjrize.sml @ 1349:87156c44824f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Periodic tasks
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 15:17:09 -0500
parents 8a169fc0838b
children 02fc16faecf3
line wrap: on
line diff
--- a/src/cjrize.sml	Sat Dec 18 14:17:45 2010 -0500
+++ b/src/cjrize.sml	Sat Dec 18 15:17:09 2010 -0500
@@ -667,6 +667,7 @@
                  val tk = case #1 e1 of
                               L.EFfi ("Basis", "initialize") => L'.Initialize
                             | L.EFfi ("Basis", "clientLeaves") => L'.ClientLeaves
+                            | L.EFfiApp ("Basis", "periodic", [(L.EPrim (Prim.Int n), _)]) => L'.Periodic n
                             | _ => (ErrorMsg.errorAt loc "Task kind not fully determined";
                                     L'.Initialize)
                  val (e, sm) = cifyExp (e, sm)