Mercurial > urweb

comparison demo/tree.ur @ 1079:d069b193ed6b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize uses a termination measure based on number of arguments introduced
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 19:26:52 -0500
parents b9321bcefb42
children
comparison
equal deleted inserted replaced
1078:b9321bcefb42 1079:d069b193ed6b
2 table t : { Id : int, Parent : option int, Nam : string } 2 table t : { Id : int, Parent : option int, Nam : string }
3 PRIMARY KEY Id, 3 PRIMARY KEY Id,
4 CONSTRAINT F FOREIGN KEY Parent REFERENCES t (Id) ON DELETE CASCADE 4 CONSTRAINT F FOREIGN KEY Parent REFERENCES t (Id) ON DELETE CASCADE
5 5
6 open TreeFun.Make(struct 6 open TreeFun.Make(struct
7 val tab = t
8 con id = #Id 7 con id = #Id
9 con parent = #Parent 8 con parent = #Parent
9 val tab = t
10 end) 10 end)
11 11
12 fun row r = <xml> 12 fun row r = <xml>
13 #{[r.Id]}: {[r.Nam]} <form><submit action={del r.Id} value="Delete"/></form> 13 #{[r.Id]}: {[r.Nam]} <form><submit action={del r.Id} value="Delete"/></form>
14 14