Mercurial > urweb

comparison src/source_print.sml @ 459:f542bc3133dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents 86c063fedc4d
children d34834af4512
comparison
equal deleted inserted replaced
458:8f65b0fa3b29 459:f542bc3133dc
426 string x, 426 string x,
427 space, 427 space,
428 string "=", 428 string "=",
429 space, 429 space,
430 p_con c] 430 p_con c]
431 | SgiCookie (x, c) => box [string "cookie",
432 space,
433 string x,
434 space,
435 string ":",
436 space,
437 p_con c]
431 438
432 and p_sgn (sgn, _) = 439 and p_sgn (sgn, _) =
433 case sgn of 440 case sgn of
434 SgnConst sgis => box [string "sig", 441 SgnConst sgis => box [string "sig",
435 newline, 442 newline,
577 584
578 | DDatabase s => box [string "database", 585 | DDatabase s => box [string "database",
579 space, 586 space,
580 string s] 587 string s]
581 588
589 | DCookie (x, c) => box [string "cookie",
590 space,
591 string x,
592 space,
593 string ":",
594 space,
595 p_con c]
596
582 and p_str (str, _) = 597 and p_str (str, _) =
583 case str of 598 case str of
584 StrConst ds => box [string "struct", 599 StrConst ds => box [string "struct",
585 newline, 600 newline,
586 p_list_sep newline p_decl ds, 601 p_list_sep newline p_decl ds,