Mercurial > urweb
comparison src/source_print.sml @ 100:f0f59e918cac
page declaration, up through monoize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 10:11:35 -0400 |
parents | 7bab29834cd6 |
children | 813e5a52063d |
comparison
equal
deleted
inserted
replaced
99:5182f0c80d2e | 100:f0f59e918cac |
---|---|
416 space, | 416 space, |
417 string "constraints", | 417 string "constraints", |
418 space, | 418 space, |
419 p_list_sep (string ".") string (m :: ms)] | 419 p_list_sep (string ".") string (m :: ms)] |
420 | 420 |
421 | DPage e => box [string "page", | |
422 space, | |
423 p_exp e] | |
424 | |
421 and p_str (str, _) = | 425 and p_str (str, _) = |
422 case str of | 426 case str of |
423 StrConst ds => box [string "struct", | 427 StrConst ds => box [string "struct", |
424 newline, | 428 newline, |
425 p_list_sep newline p_decl ds, | 429 p_list_sep newline p_decl ds, |