Mercurial > urweb

comparison src/source_print.sml @ 88:7bab29834cd6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Constraints in modules
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 15:58:02 -0400
parents 1f85890c9846
children f0f59e918cac
comparison
equal deleted inserted replaced
87:275aaeb73f1f 88:7bab29834cd6
285 space, 285 space,
286 p_sgn sgn] 286 p_sgn sgn]
287 | SgiInclude sgn => box [string "include", 287 | SgiInclude sgn => box [string "include",
288 space, 288 space,
289 p_sgn sgn] 289 p_sgn sgn]
290 | SgiConstraint (c1, c2) => box [string "constraint",
291 space,
292 p_con c1,
293 space,
294 string "~",
295 space,
296 p_con c2]
290 297
291 and p_sgn (sgn, _) = 298 and p_sgn (sgn, _) =
292 case sgn of 299 case sgn of
293 SgnConst sgis => box [string "sig", 300 SgnConst sgis => box [string "sig",
294 newline, 301 newline,
396 space, 403 space,
397 p_sgn sgn] 404 p_sgn sgn]
398 | DOpen (m, ms) => box [string "open", 405 | DOpen (m, ms) => box [string "open",
399 space, 406 space,
400 p_list_sep (string ".") string (m :: ms)] 407 p_list_sep (string ".") string (m :: ms)]
408 | DConstraint (c1, c2) => box [string "constraint",
409 space,
410 p_con c1,
411 space,
412 string "~",
413 space,
414 p_con c2]
415 | DOpenConstraints (m, ms) => box [string "open",
416 space,
417 string "constraints",
418 space,
419 p_list_sep (string ".") string (m :: ms)]
401 420
402 and p_str (str, _) = 421 and p_str (str, _) =
403 case str of 422 case str of
404 StrConst ds => box [string "struct", 423 StrConst ds => box [string "struct",
405 newline, 424 newline,