Mercurial > urweb
comparison src/source_print.sml @ 61:48b6d2c3df46
open
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 22 Jun 2008 19:34:35 -0400 |
| parents | abb2b32c19fb |
| children | 9f89f0b00b84 |
comparison
equal
deleted
inserted
replaced
| 60:8bce148070a7 | 61:48b6d2c3df46 |
|---|---|
| 354 string x, | 354 string x, |
| 355 space, | 355 space, |
| 356 string ":", | 356 string ":", |
| 357 space, | 357 space, |
| 358 p_sgn sgn] | 358 p_sgn sgn] |
| 359 | DOpen (m, ms) => box [string "open", | |
| 360 space, | |
| 361 p_list_sep (string ".") string (m :: ms)] | |
| 359 | 362 |
| 360 and p_str (str, _) = | 363 and p_str (str, _) = |
| 361 case str of | 364 case str of |
| 362 StrConst ds => box [string "struct", | 365 StrConst ds => box [string "struct", |
| 363 newline, | 366 newline, |