Mercurial > urweb

comparison src/elab_print.sml @ 460:d34834af4512

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through explify
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:43:48 -0500
parents f542bc3133dc
children ae03d09043c1
comparison
equal deleted inserted replaced
459:f542bc3133dc 460:d34834af4512
514 p_con env c1, 514 p_con env c1,
515 space, 515 space,
516 string "~", 516 string "~",
517 space, 517 space,
518 p_con env c2] 518 p_con env c2]
519 | SgiTable (_, x, n, c) => box [string "table",
520 space,
521 p_named x n,
522 space,
523 string ":",
524 space,
525 p_con env c]
526 | SgiSequence (_, x, n) => box [string "sequence",
527 space,
528 p_named x n]
529 | SgiClassAbs (x, n) => box [string "class", 519 | SgiClassAbs (x, n) => box [string "class",
530 space, 520 space,
531 p_named x n] 521 p_named x n]
532 | SgiClass (x, n, c) => box [string "class", 522 | SgiClass (x, n, c) => box [string "class",
533 space, 523 space,
534 p_named x n, 524 p_named x n,
535 space, 525 space,
536 string "=", 526 string "=",
537 space, 527 space,
538 p_con env c] 528 p_con env c]
539 | SgiCookie (_, x, n, c) => box [string "cookie",
540 space,
541 p_named x n,
542 space,
543 string ":",
544 space,
545 p_con env c]
546 529
547 and p_sgn env (sgn, _) = 530 and p_sgn env (sgn, _) =
548 case sgn of 531 case sgn of
549 SgnConst sgis => box [string "sig", 532 SgnConst sgis => box [string "sig",
550 newline, 533 newline,