[Ur] Length mismatch in INSERT field specification

[Adam Chlipala]

In Ur/Web, semicolon is a separator, not a terminator.

On 04/07/2016 04:55 PM, Yves Cloutier wrote:
> Thanks so much Adam.  I was was basing my code on the example in Fig. 
> 1 A simple chat-room application which had a ; ending the dml function 
> call:
>
> fun say r =
> dml (INSERT INTO message (Room,When,Text)
> VALUES ({[id]},CURRENT_TIMESTAMP, {[r.Text]}));
>
> Is there a difference between them which justifies adding a ; in one 
> case, but not the other?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160407/9a9924a4/attachment.html>