diff tests/init.ur @ 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 0657e5adc938
children
line wrap: on
line diff
--- a/tests/init.ur	Sat Dec 18 10:56:31 2010 -0500
+++ b/tests/init.ur	Sat Dec 18 14:17:45 2010 -0500
@@ -1,6 +1,6 @@
 sequence seq
 table fred : {A : int, B : int}
 
-task initialize =
+task initialize = fn () =>
     setval seq 1;
     dml (INSERT INTO fred (A, B) VALUES (0, 1))