annotate tests/crud1.ur @ 336:34847732cefc
Crud gets column headings
author |
Adam Chlipala <adamc@hcoop.net> |
date |
Sat, 13 Sep 2008 20:04:28 -0400 |
parents |
e457d8972ff1 |
children |
075b36dbb1a4 |
rev |
line source |
adamc@325
|
1 table t1 : {Id : int, A : int, B : string, C : float, D : bool}
|
adamc@325
|
2
|
adamc@325
|
3 open Crud.Make(struct
|
adamc@325
|
4 val tab = t1
|
adamc@325
|
5
|
adamc@325
|
6 val title = "Crud1"
|
adamc@325
|
7
|
adamc@325
|
8 val cols = {
|
adamc@336
|
9 A = {Nam = "A", Show = txt _},
|
adamc@336
|
10 B = {Nam = "B", Show = txt _},
|
adamc@336
|
11 C = {Nam = "C", Show = txt _},
|
adamc@336
|
12 D = {Nam = "D", Show = txt _}
|
adamc@325
|
13 }
|
adamc@325
|
14 end)
|