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,