Mercurial > urweb

comparison src/mono_print.sml @ 568:55fc747a67dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial <dyn> support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 15:46:48 -0500
parents a152905c3c3b
children 162d5308e34f
comparison
equal deleted inserted replaced
567:1901db85acb4 568:55fc747a67dc
63 handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n)) 63 handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n))
64 | TFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] 64 | TFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"]
65 | TOption t => box [string "option(", 65 | TOption t => box [string "option(",
66 p_typ env t, 66 p_typ env t,
67 string ")"] 67 string ")"]
68 | TSignal t => box [string "signal(",
69 p_typ env t,
70 string ")"]
68 71
69 and p_typ env = p_typ' false env 72 and p_typ env = p_typ' false env
70 73
71 fun p_enamed env n = 74 fun p_enamed env n =
72 (if !debug then 75 (if !debug then
273 p_exp env e, 276 p_exp env e,
274 string ")"] 277 string ")"]
275 | EUnurlify (e, _) => box [string "unurlify(", 278 | EUnurlify (e, _) => box [string "unurlify(",
276 p_exp env e, 279 p_exp env e,
277 string ")"] 280 string ")"]
278 | EJavaScript e => box [string "JavaScript(", 281 | EJavaScript (_, e) => box [string "JavaScript(",
279 p_exp env e, 282 p_exp env e,
280 string ")"] 283 string ")"]
284
285 | ESignalReturn e => box [string "Return(",
286 p_exp env e,
287 string ")"]
281 288
282 and p_exp env = p_exp' false env 289 and p_exp env = p_exp' false env
283 290
284 fun p_vali env (x, n, t, e, s) = 291 fun p_vali env (x, n, t, e, s) =
285 let 292 let