Mercurial > urweb

comparison src/source_print.sml @ 706:1fb318c17546

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Enhance table sig item support and get demo compiling again
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 15:04:07 -0400
parents 70cbdcf5989b
children d8217b4cb617
comparison
equal deleted inserted replaced
705:e6706a1df013 706:1fb318c17546
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",
421 space,
422 string x,
423 space,
424 string ":",
425 space,
426 p_con c,
427 space,
428 string "constraints",
429 space,
430 p_exp e]
420 | SgiStr (x, sgn) => box [string "structure", 431 | SgiStr (x, sgn) => box [string "structure",
421 space, 432 space,
422 string x, 433 string x,
423 space, 434 space,
424 string ":", 435 string ":",