diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-12-29 14:12:03 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-12-29 14:12:03 -0500 |
commit | 8d6870717691d2ba46e518c8d1687236019368d1 (patch) | |
tree | c952c50d84aa3510057f79a404bbc4eeb37666b7 /demo/more/dbgrid.ur | |
parent | 4489a47a9f033309663b611f04c4e03d5a00dec2 (diff) |
Rename [Top.id] to avoid clash with [Basis.id]
Diffstat (limited to 'demo/more/dbgrid.ur')
-rw-r--r-- | demo/more/dbgrid.ur | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/demo/more/dbgrid.ur b/demo/more/dbgrid.ur index d29b6a1f..fc593533 100644 --- a/demo/more/dbgrid.ur +++ b/demo/more/dbgrid.ur @@ -385,19 +385,19 @@ functor Make(M : sig val wholeRow = @Folder.concat ! M.keyFolder M.rowFolder fun ensql [env] (r : $(M.key ++ M.row)) = - @map2 [rawMeta] [id] [sql_exp env [] []] + @map2 [rawMeta] [ident] [sql_exp env [] []] (fn [t] meta v => @sql_inject meta.Inj v) wholeRow M.raw r val new = - row <- @Monad.mapR _ [rawMeta] [id] + row <- @Monad.mapR _ [rawMeta] [ident] (fn [nm :: Name] [t :: Type] meta => meta.New) wholeRow M.raw; dml (insert M.tab (ensql row)); return row fun selector (r : $M.key) : sql_exp [T = M.key ++ M.row] [] [] bool = - @foldR2 [rawMeta] [id] + @foldR2 [rawMeta] [ident] [fn key => rest :: {Type} -> [rest ~ key] => sql_exp [T = key ++ rest] [] [] bool] (fn [nm :: Name] [t :: Type] [key :: {Type}] [[nm] ~ key] (meta : rawMeta t) (v : t) |