Mercurial > urweb

comparison src/mono_print.sml @ 591:8f8771f32909

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Injecting a float
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 15:59:02 -0500
parents 1e589a60b86f
children 330a7de47914
comparison
equal deleted inserted replaced
590:57f476c934da 591:8f8771f32909
118 space, 118 space,
119 p_pat' true env p] 119 p_pat' true env p]
120 120
121 and p_pat x = p_pat' false x 121 and p_pat x = p_pat' false x
122 122
123 fun p_mode env m =
124 case m of
125 Attribute => string "Attribute"
126 | Script => string "Script"
127 | Source t => box [string "Source", space, p_typ env t]
128
123 fun p_exp' par env (e, _) = 129 fun p_exp' par env (e, _) =
124 case e of 130 case e of
125 EPrim p => Prim.p_t p 131 EPrim p => Prim.p_t p
126 | ERel n => 132 | ERel n =>
127 ((if !debug then 133 ((if !debug then
279 p_exp env e, 285 p_exp env e,
280 string ")"] 286 string ")"]
281 | EUnurlify (e, _) => box [string "unurlify(", 287 | EUnurlify (e, _) => box [string "unurlify(",
282 p_exp env e, 288 p_exp env e,
283 string ")"] 289 string ")"]
284 | EJavaScript (_, e, NONE) => box [string "JavaScript(", 290 | EJavaScript (m, e, NONE) => box [string "JavaScript(",
291 p_mode env m,
292 string ",",
293 space,
285 p_exp env e, 294 p_exp env e,
286 string ")"] 295 string ")"]
287 | EJavaScript (_, _, SOME e) => p_exp env e 296 | EJavaScript (_, _, SOME e) => p_exp env e
288 297
289 | ESignalReturn e => box [string "Return(", 298 | ESignalReturn e => box [string "Return(",