comparison 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
comparison
equal deleted inserted replaced
1347:b106ca8200b1 1348:8a169fc0838b
1 sequence seq 1 sequence seq
2 table fred : {A : int, B : int} 2 table fred : {A : int, B : int}
3 3
4 task initialize = 4 task initialize = fn () =>
5 setval seq 1; 5 setval seq 1;
6 dml (INSERT INTO fred (A, B) VALUES (0, 1)) 6 dml (INSERT INTO fred (A, B) VALUES (0, 1))