Mercurial > urweb

comparison src/expl_print.sml @ 246:3aa010e97db9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explify tables
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 08:46:22 -0400
parents 71bafe66dbe1
children 42dfb0d61cf0
comparison
equal deleted inserted replaced
245:1e24a3e6d614 246:3aa010e97db9
415 p_named x n, 415 p_named x n,
416 space, 416 space,
417 string "=", 417 string "=",
418 space, 418 space,
419 p_sgn env sgn] 419 p_sgn env sgn]
420 | SgiTable (_, x, n, c) => box [string "table",
421 space,
422 p_named x n,
423 space,
424 string ":",
425 space,
426 p_con env c]
420 427
421 and p_sgn env (sgn, loc) = 428 and p_sgn env (sgn, loc) =
422 case sgn of 429 case sgn of
423 SgnConst sgis => box [string "sig", 430 SgnConst sgis => box [string "sig",
424 newline, 431 newline,
556 p_str env str, 563 p_str env str,
557 space, 564 space,
558 string ":", 565 string ":",
559 space, 566 space,
560 p_sgn env sgn] 567 p_sgn env sgn]
568 | DTable (_, x, n, c) => box [string "table",
569 space,
570 p_named x n,
571 space,
572 string ":",
573 space,
574 p_con env c]
561 575
562 and p_str env (str, _) = 576 and p_str env (str, _) =
563 case str of 577 case str of
564 StrConst ds => box [string "struct", 578 StrConst ds => box [string "struct",
565 newline, 579 newline,