comparison src/mono_util.sml @ 102:5f04adf47f48

Writing HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:02:54 -0400
parents f0f59e918cac
children d101cb1efe55
comparison
equal deleted inserted replaced
101:717b6f8d8505 102:5f04adf47f48
138 S.bind2 (mfe ctx e1, 138 S.bind2 (mfe ctx e1,
139 fn e1' => 139 fn e1' =>
140 S.map2 (mfe ctx e2, 140 S.map2 (mfe ctx e2,
141 fn e2' => 141 fn e2' =>
142 (EStrcat (e1', e2'), loc))) 142 (EStrcat (e1', e2'), loc)))
143
144 | EWrite e =>
145 S.map2 (mfe ctx e,
146 fn e' =>
147 (EWrite e', loc))
143 in 148 in
144 mfe 149 mfe
145 end 150 end
146 151
147 fun mapfold {typ = fc, exp = fe} = 152 fun mapfold {typ = fc, exp = fe} =