Mercurial > urweb

comparison src/source_print.sml @ 203:dd82457fda82

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing and elaborating 'table'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 13:20:29 -0400
parents aa54250f58ac
children cc68da3801bc
comparison
equal deleted inserted replaced
202:af5bd54cbbd7 203:dd82457fda82
358 p_con c1, 358 p_con c1,
359 space, 359 space,
360 string "~", 360 string "~",
361 space, 361 space,
362 p_con c2] 362 p_con c2]
363 | SgiTable (x, c) => box [string "table",
364 space,
365 string x,
366 space,
367 string ":",
368 space,
369 p_con c]
363 370
364 and p_sgn (sgn, _) = 371 and p_sgn (sgn, _) =
365 case sgn of 372 case sgn of
366 SgnConst sgis => box [string "sig", 373 SgnConst sgis => box [string "sig",
367 newline, 374 newline,
503 p_list_sep (string ".") string (m :: ms)] 510 p_list_sep (string ".") string (m :: ms)]
504 511
505 | DExport str => box [string "export", 512 | DExport str => box [string "export",
506 space, 513 space,
507 p_str str] 514 p_str str]
515 | DTable (x, c) => box [string "table",
516 space,
517 string x,
518 space,
519 string ":",
520 space,
521 p_con c]
508 522
509 and p_str (str, _) = 523 and p_str (str, _) =
510 case str of 524 case str of
511 StrConst ds => box [string "struct", 525 StrConst ds => box [string "struct",
512 newline, 526 newline,