Mercurial > urweb

comparison src/core_print.sml @ 731:e0dd85ea58e1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Label exported symbols by effect-ness; factor out some common datatypes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 14:49:25 -0400
parents acb8537f58f0
children 5819fb63c93a
comparison
equal deleted inserted replaced
730:1b1047992ecf 731:e0dd85ea58e1
468 end 468 end
469 469
470 fun p_export_kind ck = 470 fun p_export_kind ck =
471 case ck of 471 case ck of
472 Link => string "link" 472 Link => string "link"
473 | Action => string "action" 473 | Action _ => string "action"
474 | Rpc => string "rpc" 474 | Rpc _ => string "rpc"
475 475
476 fun p_datatype env (x, n, xs, cons) = 476 fun p_datatype env (x, n, xs, cons) =
477 let 477 let
478 val k = (KType, ErrorMsg.dummySpan) 478 val k = (KType, ErrorMsg.dummySpan)
479 val env = E.pushCNamed env x n (KType, ErrorMsg.dummySpan) NONE 479 val env = E.pushCNamed env x n (KType, ErrorMsg.dummySpan) NONE