Mercurial > urweb

comparison demo/treeFun.urs @ 706:1fb318c17546

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Enhance table sig item support and get demo compiling again
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 15:04:07 -0400
parents b393c2fc80f8
children 311ca1ae715d
comparison
equal deleted inserted replaced
705:e6706a1df013 706:1fb318c17546
7 constraint [id, parent] ~ cols 7 constraint [id, parent] ~ cols
8 8
9 val key_inj : sql_injectable key 9 val key_inj : sql_injectable key
10 val option_key_inj : sql_injectable (option key) 10 val option_key_inj : sql_injectable (option key)
11 11
12 table tab : [id = key, parent = option key] ++ cols 12 table tab : ([id = key, parent = option key] ++ cols)
13 end) : sig 13 end) : sig
14 14
15 con id = M.id 15 con id = M.id
16 con parent = M.parent 16 con parent = M.parent
17 17