Mercurial > urweb
comparison src/source_print.sml @ 58:fd8a81ecd598
include
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 22 Jun 2008 18:17:21 -0400 |
| parents | 0a5c312de09a |
| children | abb2b32c19fb |
comparison
equal
deleted
inserted
replaced
| 57:618b7054f931 | 58:fd8a81ecd598 |
|---|---|
| 236 string x, | 236 string x, |
| 237 space, | 237 space, |
| 238 string ":", | 238 string ":", |
| 239 space, | 239 space, |
| 240 p_sgn sgn] | 240 p_sgn sgn] |
| 241 | SgiInclude sgn => box [string "include", | |
| 242 space, | |
| 243 p_sgn sgn] | |
| 241 | 244 |
| 242 and p_sgn (sgn, _) = | 245 and p_sgn (sgn, _) = |
| 243 case sgn of | 246 case sgn of |
| 244 SgnConst sgis => box [string "sig", | 247 SgnConst sgis => box [string "sig", |
| 245 newline, | 248 newline, |