Mercurial > urweb
comparison src/mono_print.sml @ 120:6230bdd122e7
Passing an argument to a web function
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Jul 2008 20:07:10 -0400 |
parents | ff13d390ec60 |
children | 76a4d69719d8 |
comparison
equal
deleted
inserted
replaced
119:7fdc146b2bc2 | 120:6230bdd122e7 |
---|---|
164 string "=", | 164 string "=", |
165 space, | 165 space, |
166 p_exp env e] | 166 p_exp env e] |
167 end | 167 end |
168 | 168 |
169 | DExport (s, n) => box [string "export", | 169 | DExport (s, n, ts) => box [string "export", |
170 space, | 170 space, |
171 p_enamed env n, | 171 p_enamed env n, |
172 space, | 172 space, |
173 string "as", | 173 string "as", |
174 string s] | 174 string s, |
175 p_list_sep (string "") (fn t => box [space, | |
176 string "(", | |
177 p_typ env t, | |
178 string ")"]) ts] | |
175 | 179 |
176 fun p_file env file = | 180 fun p_file env file = |
177 let | 181 let |
178 val (pds, _) = ListUtil.foldlMap (fn (d, env) => | 182 val (pds, _) = ListUtil.foldlMap (fn (d, env) => |
179 (p_decl env d, | 183 (p_decl env d, |