[Ur] Error in final record unification

Adam Chlipala adamc at csail.mit.edu
Sun Mar 27 21:15:49 EDT 2016


On 03/27/2016 04:11 PM, Yves Cloutier wrote:
> Hello, Iam also stuck with this error when trying to delete a record 
> using dml:
> |(* Delete a given work experience *) and deleteExperience experienceId 
> () = dml (DELETE FROM experienceTable WHERE experienceTable.Id = 
> {[experienceId]}); xml <- refresh (); return <xml><body> {xml} 
> </body></xml> |

In [WHERE] clauses of [DELETE] and [UPDATE] statements, the table you 
are changing is referred to as [T], rather than by its name.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160327/e0502477/attachment.html>


More information about the Ur mailing list