<div dir="ltr">OK, now I understand, thanks!</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Sep 16, 2015 at 12:13 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Every traditional HTML form submission creates a record of the values of all widgets from this form.  Even if the form has no widgets, you still get a record: the trivial empty record (or "unit" value).  The 'action' attribute of <submit> takes a function from the appropriate record type.  Thus, in your example with a no-widgets form, it is necessary to pass a function over the unit type, to stand for the empty widget-values data.<span class=""><br>
<br>
On 09/16/2015 11:10 AM, Stefan Scott wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
My modified version (which now has two tables: a child table `Thing` and a parent table `Color`) is here:<br>
<br>
<a href="https://github.com/StefanScott/UrWeb-demoSql-1" rel="noreferrer" target="_blank">https://github.com/StefanScott/UrWeb-demoSql-1</a><br>
<br>
This modified version compiles and runs correctly.<br>
<br>
---<br>
<br>
Now I tried doing a minor modification.<br>
<br>
I noticed that the `delete` function takes two arguments:<br>
<br>
  delete id ()<br>
<br>
The second argument seemed unnecessary, so I tried removing it.<br>
<br>
However, removing the second argument gave a compile error:<br>
</blockquote>
<br></span>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div><br></div>