comparison demo/treeFun.ur @ 723:311ca1ae715d

Simplify type class requirement for tree demo
author Adam Chlipala <adamc@hcoop.net>
date Mon, 13 Apr 2009 08:44:32 -0400
parents 1fb318c17546
children
comparison
equal deleted inserted replaced
722:f06880c8bf68 723:311ca1ae715d
4 con parent :: Name 4 con parent :: Name
5 con cols :: {Type} 5 con cols :: {Type}
6 constraint [id] ~ [parent] 6 constraint [id] ~ [parent]
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_prim key
10 val option_key_inj : sql_injectable (option key)
11 10
12 table tab : ([id = key, parent = option key] ++ cols) 11 table tab : ([id = key, parent = option key] ++ cols)
13 end) = struct 12 end) = struct
14 13
15 open M 14 open M