Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1359:e525ad571e15 1360:02fc16faecf3
229 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} 229 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
230 -> t ::: Type -> sql_injectable (option t) 230 -> t ::: Type -> sql_injectable (option t)
231 -> sql_exp tables agg exps (option t) 231 -> sql_exp tables agg exps (option t)
232 -> option t 232 -> option t
233 -> sql_exp tables agg exps bool 233 -> sql_exp tables agg exps bool
234
235 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t