Mercurial > urweb
comparison demo/more/orm.ur @ 1488:e2611b5dafce
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 |