Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/demo/tree.ur	Tue Dec 15 13:20:13 2009 -0500
+++ b/demo/tree.ur	Tue Dec 15 19:26:52 2009 -0500
@@ -4,9 +4,9 @@
   CONSTRAINT F FOREIGN KEY Parent REFERENCES t (Id) ON DELETE CASCADE
 
 open TreeFun.Make(struct
-                      val tab = t
                       con id = #Id
                       con parent = #Parent
+                      val tab = t
                   end)
 
 fun row r = <xml>