diff 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
line wrap: on
line diff
--- a/demo/tree.ur	Tue Dec 15 12:26:00 2009 -0500
+++ b/demo/tree.ur	Tue Dec 15 13:20:13 2009 -0500
@@ -5,6 +5,8 @@
 
 open TreeFun.Make(struct
                       val tab = t
+                      con id = #Id
+                      con parent = #Parent
                   end)
 
 fun row r = <xml>