Mercurial > urweb

diff lib/top.ur @ 403:8084fa9216de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New implicit argument handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 16:41:11 -0400
parents 28d3d7210687
children 06fcddcd20d3
line wrap: on
line diff
--- a/lib/top.ur	Tue Oct 21 15:11:42 2008 -0400
+++ b/lib/top.ur	Tue Oct 21 16:41:11 2008 -0400
@@ -20,7 +20,7 @@
             (f1 : t2 -> t3) (f2 : t1 -> t2) (x : t1) = f1 (f2 x)
 
 fun txt (t ::: Type) (ctx ::: {Unit}) (use ::: {Type}) (sh : show t) (v : t) =
-    cdata (show sh v)
+    cdata (@show sh v)
 
 fun foldTR (tf :: Type -> Type) (tr :: {Type} -> Type)
            (f : nm :: Name -> t :: Type -> rest :: {Type}