# HG changeset patch # User Adam Chlipala # Date 1236720543 14400 # Node ID bab524996fcabf68ed69f667fba2850a2293c1ba # Parent fcf0bd3d1667efd82cdd46b32b9dbd0113238ee7 Noisy demo diff -r fcf0bd3d1667 -r bab524996fca demo/noisy.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/demo/noisy.ur Tue Mar 10 17:29:03 2009 -0400 @@ -0,0 +1,42 @@ +datatype list t = Nil | Cons of t * list t + +table t : { Id : int, A : string } + +fun add id s = + dml (INSERT INTO t (Id, A) VALUES ({[id]}, {[s]})) + +fun del id = + dml (DELETE FROM t WHERE t.Id = {[id]}) + +fun lookup id = + ro <- oneOrNoRows (SELECT t.A FROM t WHERE t.Id = {[id]}); + case ro of + None => return None + | Some r => return (Some r.T.A) + +fun check ls = + case ls of + Nil => return () + | Cons (id, ls') => + ao <- lookup id; + alert (case ao of + None => "Nada" + | Some a => a); + check ls' + +fun main () = + idAdd <- source ""; + aAdd <- source ""; + + idDel <- source ""; + + return +