Mercurial > urweb

comparison demo/treeFun.ur @ 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 20fab0e96217
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) = struct 13 end) = struct
14 14
15 open M 15 open M
16 16
17 fun tree (f : $([id = key, parent = option key] ++ cols) -> xbody) 17 fun tree (f : $([id = key, parent = option key] ++ cols) -> xbody)