Mercurial > gui
diff navigation.ur @ 32:d32fb0f7b137
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 | 48a4180171b0 |
| children |
line wrap: on
line diff
--- a/navigation.ur Sat Jul 21 10:15:14 2012 -0400 +++ b/navigation.ur Sun Jul 29 12:28:46 2012 -0400 @@ -19,7 +19,7 @@ con linkLs :: {Unit} -> Type = fn r :: {Unit} => $(mapU (option navItem) r) con msgLs :: {Unit} -> Type = fn r :: {Unit} => $(mapU (option xbody) r) - class shape t = t -> $(mapU xbody M.navbarPos) + con shape t = t -> $(mapU xbody M.navbarPos) val shape_npos : shape $(mapU xbody M.navbarPos) = (fn x => x)