Mercurial > urweb
diff src/flat_util.sml @ 102:5f04adf47f48
Writing HTML
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 14:02:54 -0400 |
parents | 717b6f8d8505 |
children | d101cb1efe55 |
line wrap: on
line diff
--- a/src/flat_util.sml Thu Jul 10 11:13:49 2008 -0400 +++ b/src/flat_util.sml Thu Jul 10 14:02:54 2008 -0400 @@ -197,6 +197,18 @@ S.map2 (mfe ctx e, fn e' => (ELet (xes', e'), loc))) + + | EStrcat (e1, e2) => + S.bind2 (mfe ctx e1, + fn e1' => + S.map2 (mfe ctx e2, + fn e2' => + (EStrcat (e1', e2'), loc))) + + | EWrite e => + S.map2 (mfe ctx e, + fn e' => + (EWrite e', loc)) in mfe end