Mercurial > urweb

diff lib/ur/top.urs @ 1360:02fc16faecf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 17:46:40 -0500
parents 4172863d049d
children 7dd8a6704265
line wrap: on
line diff
--- a/lib/ur/top.urs	Thu Dec 23 11:23:31 2010 -0500
+++ b/lib/ur/top.urs	Thu Dec 23 17:46:40 2010 -0500
@@ -231,3 +231,5 @@
                   -> sql_exp tables agg exps (option t)
                   -> option t
                   -> sql_exp tables agg exps bool
+
+val mkRead' : t ::: Type -> (string -> option t) -> string -> read t