Mercurial > urweb
comparison src/mono_print.sml @ 609:56aaa1941dad
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 ":", |