comparison demo/refFun.ur @ 420:9119a5920106

Prose for Ref and Metaform
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Oct 2008 17:52:04 -0400
parents cb5897276abf
children c471345f5165
comparison
equal deleted inserted replaced
419:cb5897276abf 420:9119a5920106
22 fun write r d = 22 fun write r d =
23 dml (UPDATE t SET Data = {d} WHERE Id = {r}) 23 dml (UPDATE t SET Data = {d} WHERE Id = {r})
24 24
25 fun delete r = 25 fun delete r =
26 dml (DELETE FROM t WHERE Id = {r}) 26 dml (DELETE FROM t WHERE Id = {r})
27
27 end 28 end