view tests/init.ur @ 2084:0d48cfb59b29

More aggressive inlining of 'let' with record literals, plus some changes to Monoization of queries, to make inlining more common
author Adam Chlipala <adam@chlipala.net>
date Thu, 04 Dec 2014 02:47:24 -0500
parents 8a169fc0838b
children
line wrap: on
line source
sequence seq
table fred : {A : int, B : int}

task initialize = fn () =>
    setval seq 1;
    dml (INSERT INTO fred (A, B) VALUES (0, 1))