summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-15 13:20:13 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-15 13:20:13 -0500
commit6570b6c0426fc7054d4a0353dd1fab3da7c7a249 (patch)
tree2d9199e213e29468ac1d3eb136f4606dc3628eca /demo
parenta2200ffa7ced3b1608782215c3a93b276a5964bb (diff)
Fix new Especialize security bug: do not duplicate free variables as specialized arguments
Diffstat (limited to 'demo')
-rw-r--r--demo/tree.ur2
1 files changed, 2 insertions, 0 deletions
diff --git a/demo/tree.ur b/demo/tree.ur
index d7b0919e..0a13e470 100644
--- a/demo/tree.ur
+++ b/demo/tree.ur
@@ -5,6 +5,8 @@ table t : { Id : int, Parent : option int, Nam : string }
open TreeFun.Make(struct
val tab = t
+ con id = #Id
+ con parent = #Parent
end)
fun row r = <xml>