Mercurial > urweb
comparison src/mono_reduce.sml @ 1112:7a31e0cf25e9
Proper C-side deserialization; Shake.sliceDb
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 03 Jan 2010 12:47:27 -0500 |
parents | 52571ca9b777 |
children | 7a2a7a8f9cab |
comparison
equal
deleted
inserted
replaced
1111:e1d738870086 | 1112:7a31e0cf25e9 |
---|---|
449 summarize (d + 2) body] | 449 summarize (d + 2) body] |
450 | 450 |
451 | EDml e => summarize d e @ [WriteDb] | 451 | EDml e => summarize d e @ [WriteDb] |
452 | ENextval e => summarize d e @ [WriteDb] | 452 | ENextval e => summarize d e @ [WriteDb] |
453 | ESetval (e1, e2) => summarize d e1 @ summarize d e2 @ [WriteDb] | 453 | ESetval (e1, e2) => summarize d e1 @ summarize d e2 @ [WriteDb] |
454 | EUnurlify (e, _) => summarize d e | 454 | EUnurlify (e, _, _) => summarize d e |
455 | EJavaScript (_, e) => summarize d e | 455 | EJavaScript (_, e) => summarize d e |
456 | ESignalReturn e => summarize d e | 456 | ESignalReturn e => summarize d e |
457 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 | 457 | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2 |
458 | ESignalSource e => summarize d e | 458 | ESignalSource e => summarize d e |
459 | 459 |