Mercurial > urweb
comparison tests/crud.urs @ 336:34847732cefc
Crud gets column headings
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 13 Sep 2008 20:04:28 -0400 |
| parents | eec65c11d3e2 |
| children | 075b36dbb1a4 |
comparison
equal
deleted
inserted
replaced
| 335:bc5015b89dd2 | 336:34847732cefc |
|---|---|
| 1 con colMeta' = fn t :: Type => {Show : t -> xbody} | 1 con colMeta' = fn t :: Type => {Nam : string, Show : t -> xbody} |
| 2 con colMeta = fn cols :: {Type} => $(Top.mapTT colMeta' cols) | 2 con colMeta = fn cols :: {Type} => $(Top.mapTT colMeta' cols) |
| 3 | 3 |
| 4 functor Make(M : sig | 4 functor Make(M : sig |
| 5 con cols :: {Type} | 5 con cols :: {Type} |
| 6 constraint [Id] ~ cols | 6 constraint [Id] ~ cols |