Mercurial > gui

diff navbar.ur @ 32:d32fb0f7b137

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update for Ur/Web's new type class handling
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Jul 2012 12:28:46 -0400
parents d314d2ec3300
children
line wrap: on
line diff
--- a/navbar.ur	Sat Jul 21 10:15:14 2012 -0400
+++ b/navbar.ur	Sun Jul 29 12:28:46 2012 -0400
@@ -13,7 +13,7 @@
 type build = unit
 type print = unit
 
-class mode t = navBar t -> xbody
+con mode t = navBar t -> xbody
 
 (* The case of special treatment for the last one seems common in themes. *)
 fun mapXLast [a ::: Type] [ctx ::: {Unit}] (f : a -> bool -> xml ctx [] []) (ls : list a) : (xml ctx [] []) =