Ur/Web: tests/blobOpt.ur annotate

Complain about DValRec; optimizations for unit-valued ECase and forgetting of path conditions across ESeq

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 29 Apr 2010 11:47:24 -0400
parents	cd67c3a942e3
children

rev	line source
adamc@743	1 sequence s
adamc@743	2 table t : { Id : int, Data : option blob, Typ : string }
adamc@743	3
adamc@743	4 fun view id =
adamc@743	5 r <- oneRow (SELECT t.Data, t.Typ FROM t WHERE t.Id = {[id]});
adamc@743	6 case r.T.Data of
adamc@743	7 None => return <xml>This one's empty.</xml>
adamc@743	8 \| Some data => returnBlob data (blessMime r.T.Typ)
adamc@743	9
adamc@743	10 fun save r =
adamc@743	11 id <- nextval s;
adamc@743	12 dml (INSERT INTO t (Id, Data, Typ)
adamc@743	13 VALUES ({[id]}, {[Some (fileData r.Data)]}, {[fileMimeType r.Data]}));
adamc@743	14 main ()
adamc@743	15
adamc@743	16 and saveEmpty () =
adamc@743	17 id <- nextval s;
adamc@743	18 dml (INSERT INTO t (Id, Data, Typ)
adamc@743	19 VALUES ({[id]}, {[None]}, "bogus"));
adamc@743	20 main ()
adamc@743	21
adamc@743	22 and main () =
adamc@743	23 ls <- queryX (SELECT t.Id FROM t)
adamc@743	24 (fn r => <xml><li><a link={view r.T.Id}>{[r.T.Id]}</a></li></xml>);
adamc@743	25 return <xml><body>
adamc@743	26 {ls}
adamc@743	27
adamc@743	28 <br/>
adamc@743	29
adamc@743	30 <form>
adamc@743	31 <upload{#Data}/>
adamc@743	32 <submit action={save}/>
adamc@743	33 </form>
adamc@743	34
adamc@743	35 <form>
adamc@743	36 <submit action={saveEmpty}/>
adamc@743	37 </form>
adamc@743	38 </body></xml>

Mercurial > urweb