Ur/Web: demo/noisy.ur annotate

Retry failed record summary unifications at the end, in hopes that more has been learned

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 09 Apr 2009 14:59:29 -0400
parents	1a317a707d71
children	15ddd64a5113

rev	line source
adamc@651	1 datatype list t = Nil \| Cons of t * list t
adamc@651	2
adamc@651	3 table t : { Id : int, A : string }
adamc@708	4 PRIMARY KEY Id
adamc@651	5
adamc@651	6 fun add id s =
adamc@651	7 dml (INSERT INTO t (Id, A) VALUES ({[id]}, {[s]}))
adamc@651	8
adamc@651	9 fun del id =
adamc@651	10 dml (DELETE FROM t WHERE t.Id = {[id]})
adamc@651	11
adamc@651	12 fun lookup id =
adamc@651	13 ro <- oneOrNoRows (SELECT t.A FROM t WHERE t.Id = {[id]});
adamc@651	14 case ro of
adamc@651	15 None => return None
adamc@651	16 \| Some r => return (Some r.T.A)
adamc@651	17
adamc@651	18 fun check ls =
adamc@651	19 case ls of
adamc@651	20 Nil => return ()
adamc@651	21 \| Cons (id, ls') =>
adamc@651	22 ao <- lookup id;
adamc@651	23 alert (case ao of
adamc@651	24 None => "Nada"
adamc@651	25 \| Some a => a);
adamc@651	26 check ls'
adamc@651	27
adamc@651	28 fun main () =
adamc@651	29 idAdd <- source "";
adamc@651	30 aAdd <- source "";
adamc@651	31
adamc@651	32 idDel <- source "";
adamc@651	33
adamc@651	34 return <xml><body>
adamc@651	35 <button value="Check values of 1, 2, and 3" onclick={check (Cons (1, Cons (2, Cons (3, Nil))))}/><br/>
adamc@651	36 <br/>
adamc@651	37 <button value="Add" onclick={id <- get idAdd; a <- get aAdd; add (readError id) a}/>
adamc@651	38 <ctextbox source={idAdd}/>
adamc@651	39 <ctextbox source={aAdd}/><br/>
adamc@651	40 <br/>
adamc@651	41 <button value="Delete" onclick={id <- get idDel; del (readError id)}/>
adamc@651	42 <ctextbox source={idDel}/>
adamc@651	43 </body></xml>

Mercurial > urweb