Mercurial > urweb

comparison src/core_print.sml @ 732:5819fb63c93a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents e0dd85ea58e1
children 8688e01ae469
comparison
equal deleted inserted replaced
731:e0dd85ea58e1 732:5819fb63c93a
465 string "=", 465 string "=",
466 space, 466 space,
467 p_exp env e] 467 p_exp env e]
468 end 468 end
469 469
470 fun p_export_kind ck =
471 case ck of
472 Link => string "link"
473 | Action _ => string "action"
474 | Rpc _ => string "rpc"
475
476 fun p_datatype env (x, n, xs, cons) = 470 fun p_datatype env (x, n, xs, cons) =
477 let 471 let
478 val k = (KType, ErrorMsg.dummySpan) 472 val k = (KType, ErrorMsg.dummySpan)
479 val env = E.pushCNamed env x n (KType, ErrorMsg.dummySpan) NONE 473 val env = E.pushCNamed env x n (KType, ErrorMsg.dummySpan) NONE
480 val env = foldl (fn (x, env) => E.pushCRel env x k) env xs 474 val env = foldl (fn (x, env) => E.pushCRel env x k) env xs
536 space, 530 space,
537 p_list_sep (box [newline, string "and", space]) (p_vali env) vis] 531 p_list_sep (box [newline, string "and", space]) (p_vali env) vis]
538 end 532 end
539 | DExport (ek, n) => box [string "export", 533 | DExport (ek, n) => box [string "export",
540 space, 534 space,
541 p_export_kind ek, 535 Export.p_export_kind ek,
542 space, 536 space,
543 p_enamed env n, 537 p_enamed env n,
544 space, 538 space,
545 string "as", 539 string "as",
546 space, 540 space,