Mercurial > urweb

comparison src/mono_print.sml @ 609:56aaa1941dad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 330a7de47914
children 5891f47d7cff
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
306 string ")"] 306 string ")"]
307 | ESignalSource e => box [string "Source(", 307 | ESignalSource e => box [string "Source(",
308 p_exp env e, 308 p_exp env e,
309 string ")"] 309 string ")"]
310 310
311 | EServerCall (n, es, e) => box [string "Server(", 311 | EServerCall (n, es, e, _) => box [string "Server(",
312 p_enamed env n, 312 string n,
313 string ",", 313 string ",",
314 space, 314 space,
315 p_list (p_exp env) es, 315 p_list (p_exp env) es,
316 string ")[", 316 string ")[",
317 p_exp env e, 317 p_exp env e,
318 string "]"] 318 string "]"]
319 319
320 and p_exp env = p_exp' false env 320 and p_exp env = p_exp' false env
321 321
322 fun p_vali env (x, n, t, e, s) = 322 fun p_vali env (x, n, t, e, s) =
323 let 323 let
376 string "rec", 376 string "rec",
377 space, 377 space,
378 p_list_sep (box [newline, string "and", space]) (p_vali env) vis] 378 p_list_sep (box [newline, string "and", space]) (p_vali env) vis]
379 end 379 end
380 380
381 | DExport (ek, s, n, ts) => box [string "export", 381 | DExport (ek, s, n, ts, t) => box [string "export",
382 space, 382 space,
383 CorePrint.p_export_kind ek, 383 CorePrint.p_export_kind ek,
384 space, 384 space,
385 p_enamed env n, 385 p_enamed env n,
386 space, 386 space,
387 string "as", 387 string "as",
388 space, 388 space,
389 string s, 389 string s,
390 p_list_sep (string "") (fn t => box [space, 390 p_list_sep (string "") (fn t => box [space,
391 string "(", 391 string "(",
392 p_typ env t, 392 p_typ env t,
393 string ")"]) ts] 393 string ")"]) ts,
394 space,
395 string "->",
396 space,
397 p_typ env t]
394 398
395 | DTable (s, xts) => box [string "(* SQL table ", 399 | DTable (s, xts) => box [string "(* SQL table ",
396 string s, 400 string s,
397 space, 401 space,
398 string ":", 402 string ":",