Mercurial > urweb
comparison src/expl_util.sml @ 339:075b36dbb1a4
Crud supports INSERT
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 14 Sep 2008 15:10:04 -0400 |
parents | e976b187d73a |
children | dfc8c991abd0 |
comparison
equal
deleted
inserted
replaced
338:e976b187d73a | 339:075b36dbb1a4 |
---|---|
280 S.bind2 (mfc ctx field, | 280 S.bind2 (mfc ctx field, |
281 fn field' => | 281 fn field' => |
282 S.map2 (mfc ctx rest, | 282 S.map2 (mfc ctx rest, |
283 fn rest' => | 283 fn rest' => |
284 (EField (e', c', {field = field', rest = rest'}), loc))))) | 284 (EField (e', c', {field = field', rest = rest'}), loc))))) |
285 | EWith (e1, c, e2, {field, rest}) => | |
286 S.bind2 (mfe ctx e1, | |
287 fn e1' => | |
288 S.bind2 (mfc ctx c, | |
289 fn c' => | |
290 S.bind2 (mfe ctx e2, | |
291 fn e2' => | |
292 S.bind2 (mfc ctx field, | |
293 fn field' => | |
294 S.map2 (mfc ctx rest, | |
295 fn rest' => | |
296 (EWith (e1', c', e2', {field = field', rest = rest'}), | |
297 loc)))))) | |
285 | ECut (e, c, {field, rest}) => | 298 | ECut (e, c, {field, rest}) => |
286 S.bind2 (mfe ctx e, | 299 S.bind2 (mfe ctx e, |
287 fn e' => | 300 fn e' => |
288 S.bind2 (mfc ctx c, | 301 S.bind2 (mfc ctx c, |
289 fn c' => | 302 fn c' => |