comparison demo/tree.ur @ 1078:b9321bcefb42

Fix new Especialize security bug: do not duplicate free variables as specialized arguments
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 13:20:13 -0500
parents 5819fb63c93a
children d069b193ed6b
comparison
equal deleted inserted replaced
1077:a3273bee05a9 1078:b9321bcefb42
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 7 val tab = t
8 con id = #Id
9 con parent = #Parent
8 end) 10 end)
9 11
10 fun row r = <xml> 12 fun row r = <xml>
11 #{[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>
12 14