Mercurial > urweb
comparison src/flat_print.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 |
---|---|
134 p_exp env e, | 134 p_exp env e, |
135 space, | 135 space, |
136 string "end"] | 136 string "end"] |
137 end | 137 end |
138 | 138 |
139 | EStrcat (e1, e2) => box [p_exp' true env e1, | |
140 space, | |
141 string "^", | |
142 space, | |
143 p_exp' true env e2] | |
144 | |
145 | EWrite e => box [string "write(", | |
146 p_exp env e, | |
147 string ")"] | |
148 | |
139 and p_exp env = p_exp' false env | 149 and p_exp env = p_exp' false env |
140 | 150 |
141 fun p_decl env ((d, _) : decl) = | 151 fun p_decl env ((d, _) : decl) = |
142 case d of | 152 case d of |
143 DVal (x, n, t, e) => | 153 DVal (x, n, t, e) => |