Mercurial > urweb

comparison demo/more/versioned.ur @ 1488:e2611b5dafce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update demo/more for simplified implicit arguments
author Adam Chlipala <adam@chlipala.net>
date Wed, 06 Jul 2011 09:22:08 -0400
parents 8d3aa6c7cee0
children 9253765d7724
comparison
equal deleted inserted replaced
1487:290de2dcecf6 1488:e2611b5dafce
45 (fn [nm :: Name] [t :: Type] [before :: {Type}] [[nm] ~ before] 45 (fn [nm :: Name] [t :: Type] [before :: {Type}] [[nm] ~ before]
46 (inj : sql_injectable t) (v : t) 46 (inj : sql_injectable t) (v : t)
47 (e : after :: {Type} -> [before ~ after] 47 (e : after :: {Type} -> [before ~ after]
48 => sql_exp [T = before ++ after] [] [] bool) 48 => sql_exp [T = before ++ after] [] [] bool)
49 [after :: {Type}] [[nm = t] ++ before ~ after] => 49 [after :: {Type}] [[nm = t] ++ before ~ after] =>
50 (SQL t.{nm} = {[v]} AND {e [[nm = t] ++ after] !})) 50 (SQL t.{nm} = {[v]} AND {e [[nm = t] ++ after]}))
51 (fn [after :: {Type}] [[] ~ after] => (SQL TRUE)) 51 (fn [after :: {Type}] [[] ~ after] => (SQL TRUE))
52 M.keyFolder M.key r 52 M.keyFolder M.key r
53 [_] ! 53 [_] !
54 54
55 datatype bound = 55 datatype bound =