comparison tests/init.ur @ 1075:0657e5adc938

Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children 8a169fc0838b
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
1 sequence seq 1 sequence seq
2 table fred : {A : int, B : int} 2 table fred : {A : int, B : int}
3 3
4 initializer 4 task initialize =
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))