diff src/prepare.sml @ 1348:8a169fc0838b

Change tasks to support parametric code; add clientLeaves
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 14:17:45 -0500
parents b4480a56cab7
children 0577be31a435
line wrap: on
line diff
--- a/src/prepare.sml	Sat Dec 18 10:56:31 2010 -0500
+++ b/src/prepare.sml	Sat Dec 18 14:17:45 2010 -0500
@@ -325,11 +325,11 @@
       | DJavaScript _ => (d, st)
       | DCookie _ => (d, st)
       | DStyle _ => (d, st)
-      | DTask (tk, e) =>
+      | DTask (tk, x1, x2, e) =>
         let
             val (e, st) = prepExp (e, st)
         in
-            ((DTask (tk, e), loc), st)
+            ((DTask (tk, x1, x2, e), loc), st)
         end
       | DOnError _ => (d, st)