Mercurial > urweb

comparison demo/more/orm.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 f0afe61a6f8b
children 6bc2a8cb3a67
comparison
equal deleted inserted replaced
1487:290de2dcecf6 1488:e2611b5dafce
68 $(map (meta' (map fst (before ++ after))) before)) 68 $(map (meta' (map fst (before ++ after))) before))
69 [after :: {(Type * Type)}] [[nm = ts] ++ before ~ after] => 69 [after :: {(Type * Type)}] [[nm = ts] ++ before ~ after] =>
70 {nm = {Col = {Exp = sql_field [#T] [nm], 70 {nm = {Col = {Exp = sql_field [#T] [nm],
71 Inj = meta.Inj}, 71 Inj = meta.Inj},
72 Parent = fn r => meta.Link r.nm}} 72 Parent = fn r => meta.Link r.nm}}
73 ++ acc [[nm = ts] ++ after] !) 73 ++ acc [[nm = ts] ++ after])
74 (fn [after :: {(Type * Type)}] [[] ~ after] => {}) 74 (fn [after :: {(Type * Type)}] [[] ~ after] => {})
75 M.folder M.cols 75 M.folder M.cols
76 [[Id = (id, row)]] ! 76 [[Id = (id, row)]] !
77 77
78 type filter = sql_exp [T = fs] [] [] bool 78 type filter = sql_exp [T = fs] [] [] bool