Mercurial > urweb
comparison src/cloconv.sml @ 102:5f04adf47f48
Writing HTML
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 10 Jul 2008 14:02:54 -0400 |
| parents | 717b6f8d8505 |
| children | d101cb1efe55 |
comparison
equal
deleted
inserted
replaced
| 101:717b6f8d8505 | 102:5f04adf47f48 |
|---|---|
| 187 val (e1, D) = ccExp env (e1, D) | 187 val (e1, D) = ccExp env (e1, D) |
| 188 in | 188 in |
| 189 ((L'.EField (e1, x), loc), D) | 189 ((L'.EField (e1, x), loc), D) |
| 190 end | 190 end |
| 191 | 191 |
| 192 | L.EStrcat _ => raise Fail "Cloconv EStrcat" | 192 | L.EStrcat (e1, e2) => |
| 193 let | |
| 194 val (e1, D) = ccExp env (e1, D) | |
| 195 val (e2, D) = ccExp env (e2, D) | |
| 196 in | |
| 197 ((L'.EStrcat (e1, e2), loc), D) | |
| 198 end | |
| 199 | |
| 200 | L.EWrite e => | |
| 201 let | |
| 202 val (e, D) = ccExp env (e, D) | |
| 203 in | |
| 204 ((L'.EWrite e, loc), D) | |
| 205 end | |
| 193 | 206 |
| 194 fun ccDecl ((d, loc), D) = | 207 fun ccDecl ((d, loc), D) = |
| 195 case d of | 208 case d of |
| 196 L.DVal (x, n, t, e) => | 209 L.DVal (x, n, t, e) => |
| 197 let | 210 let |