# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1239306710 14400
# Node ID 1db127b245edadb553fbc77b63bde5d69f11936a
# Parent  0f42461273cfd7ac4195986697ffc6d6af8a7948
Use FOREIGN KEY in Tree demo

diff -r 0f42461273cf -r 1db127b245ed demo/tree.ur
--- a/demo/tree.ur	Thu Apr 09 15:30:15 2009 -0400
+++ b/demo/tree.ur	Thu Apr 09 15:51:50 2009 -0400
@@ -1,6 +1,7 @@
 sequence s
 table t : { Id : int, Parent : option int, Nam : string }
-  PRIMARY KEY Id
+  PRIMARY KEY Id,
+  CONSTRAINT F FOREIGN KEY Parent REFERENCES t (Id) ON DELETE CASCADE
 
 open TreeFun.Make(struct
                       val tab = t