<div dir="ltr">Hello -<div><br></div><div>As a learning exercise, I have been studying and modifying the simple Sql demo here:</div><div><br></div><div><a href="http://www.impredicative.com/ur/demo/sql.html">http://www.impredicative.com/ur/demo/sql.html</a><br></div><div><br></div><div>My modified version (which now has two tables: a child table `Thing` and a parent table `Color`) is here:</div><div><br></div><div><a href="https://github.com/StefanScott/UrWeb-demoSql-1">https://github.com/StefanScott/UrWeb-demoSql-1</a><br></div><div><br></div><div>This modified version compiles and runs correctly.</div><div><br></div><div>---</div><div><br></div><div>Now I tried doing a minor modification.</div><div><br></div><div>I noticed that the `delete` function takes two arguments:</div><div><br></div><div>  delete id ()<br></div><div><br></div><div>The second argument seemed unnecessary, so I tried removing it.</div><div><br></div><div>However, removing the second argument gave a compile error:</div><div><br></div><div><div>  Have con:  int -> transaction (xml ([Html = ()]) ([]) ([]))</div><div>  Need con:  int -> {} -> transaction (xml ([Html = ()]) ([]) ([]))</div></div><div><br></div><div>Why does a compile error occur when the second argument to `delete` is removed?</div><div><br></div><div>Thanks for any help!</div><div><br></div><div>###</div></div>