Mercurial > urweb

diff tests/crud.urs @ 336:34847732cefc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud gets column headings
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 20:04:28 -0400
parents eec65c11d3e2
children 075b36dbb1a4
line wrap: on
line diff
--- a/tests/crud.urs	Sat Sep 13 19:53:07 2008 -0400
+++ b/tests/crud.urs	Sat Sep 13 20:04:28 2008 -0400
@@ -1,4 +1,4 @@
-con colMeta' = fn t :: Type => {Show : t -> xbody}
+con colMeta' = fn t :: Type => {Nam : string, Show : t -> xbody}
 con colMeta = fn cols :: {Type} => $(Top.mapTT colMeta' cols)
 
 functor Make(M : sig