Mercurial > urweb

diff tests/crud.urs @ 329:eec65c11d3e2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
foldTR2
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 10:30:45 -0400
parents 950320f33232
children 34847732cefc
line wrap: on
line diff
--- a/tests/crud.urs	Thu Sep 11 19:59:31 2008 -0400
+++ b/tests/crud.urs	Sat Sep 13 10:30:45 2008 -0400
@@ -1,4 +1,5 @@
-con colMeta = fn cols :: {Type} => $(mapTT (fn t => {Show : t -> xbody}) cols)
+con colMeta' = fn t :: Type => {Show : t -> xbody}
+con colMeta = fn cols :: {Type} => $(Top.mapTT colMeta' cols)
 
 functor Make(M : sig
         con cols :: {Type}