Mercurial > urweb

comparison src/source_print.sml @ 707:d8217b4cb617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PRIMARY KEY
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:14:31 -0400
parents 1fb318c17546
children f152f215a02c
comparison
equal deleted inserted replaced
706:1fb318c17546 707:d8217b4cb617
415 string x, 415 string x,
416 space, 416 space,
417 string ":", 417 string ":",
418 space, 418 space,
419 p_con c] 419 p_con c]
420 | SgiTable (x, c, e) => box [string "table", 420 | SgiTable (x, c, pe, ce) => box [string "table",
421 space, 421 space,
422 string x, 422 string x,
423 space, 423 space,
424 string ":", 424 string ":",
425 space, 425 space,
426 p_con c, 426 p_con c,
427 space, 427 space,
428 string "constraints", 428 string "keys",
429 space, 429 space,
430 p_exp e] 430 p_exp pe,
431 space,
432 string "constraints",
433 space,
434 p_exp ce]
431 | SgiStr (x, sgn) => box [string "structure", 435 | SgiStr (x, sgn) => box [string "structure",
432 space, 436 space,
433 string x, 437 string x,
434 space, 438 space,
435 string ":", 439 string ":",
597 p_list_sep (string ".") string (m :: ms)] 601 p_list_sep (string ".") string (m :: ms)]
598 602
599 | DExport str => box [string "export", 603 | DExport str => box [string "export",
600 space, 604 space,
601 p_str str] 605 p_str str]
602 | DTable (x, c, e) => box [string "table", 606 | DTable (x, c, pe, ce) => box [string "table",
603 space, 607 space,
604 string x, 608 string x,
605 space, 609 space,
606 string ":", 610 string ":",
607 space, 611 space,
608 p_con c, 612 p_con c,
609 space, 613 space,
610 string "constraints", 614 string "keys",
611 space, 615 space,
612 p_exp e] 616 p_exp pe,
617 space,
618 string "constraints",
619 space,
620 p_exp ce]
613 | DSequence x => box [string "sequence", 621 | DSequence x => box [string "sequence",
614 space, 622 space,
615 string x] 623 string x]
616 | DClass (x, k, c) => box [string "class", 624 | DClass (x, k, c) => box [string "class",
617 space, 625 space,