comparison demo/crud1.ur @ 632:6c4643880df5

Demos compile again, with manual folders
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 15:12:13 -0500
parents 0767d7ad0c3a
children 6302b10dbe0e
comparison
equal deleted inserted replaced
631:effa7d43aac3 632:6c4643880df5
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)))
12 end) 18 end)