Mercurial > urweb

comparison src/source_print.sml @ 59:abb2b32c19fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Subsignatures
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 19:10:38 -0400
parents fd8a81ecd598
children 48b6d2c3df46
comparison
equal deleted inserted replaced
58:fd8a81ecd598 59:abb2b32c19fb
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 | SgiSgn (x, sgn) => box [string "signature",
242 space,
243 string x,
244 space,
245 string "=",
246 space,
247 p_sgn sgn]
241 | SgiInclude sgn => box [string "include", 248 | SgiInclude sgn => box [string "include",
242 space, 249 space,
243 p_sgn sgn] 250 p_sgn sgn]
244 251
245 and p_sgn (sgn, _) = 252 and p_sgn (sgn, _) =
271 string x, 278 string x,
272 space, 279 space,
273 string "=", 280 string "=",
274 space, 281 space,
275 p_con c] 282 p_con c]
283 | SgnProj (m, ms, x) => p_list_sep (string ".") string (m :: ms @ [x])
284
276 285
277 fun p_decl ((d, _) : decl) = 286 fun p_decl ((d, _) : decl) =
278 case d of 287 case d of
279 DCon (x, NONE, c) => box [string "con", 288 DCon (x, NONE, c) => box [string "con",
280 space, 289 space,