[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