Mercurial > urweb

comparison demo/crud1.ur @ 634:6302b10dbe0e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Folder generation for functors
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 15:54:05 -0500
parents 6c4643880df5
children 1a317a707d71
comparison
equal deleted inserted replaced
633:03ab853c8e4b 634:6302b10dbe0e
7 7
8 val cols = {A = Crud.int "A", 8 val cols = {A = Crud.int "A",
9 B = Crud.string "B", 9 B = Crud.string "B",
10 C = Crud.float "C", 10 C = Crud.float "C",
11 D = Crud.bool "D"} 11 D = Crud.bool "D"}
12
13 val fl = Folder.cons [#A] [_] !
14 (Folder.cons [#B] [_] !
15 (Folder.cons [#C] [_] !
16 (Folder.cons [#D] [_] !
17 Folder.nil)))
18 end) 12 end)