Mercurial > urweb
diff src/source_print.sml @ 88:7bab29834cd6
Constraints in modules
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 01 Jul 2008 15:58:02 -0400 |
| parents | 1f85890c9846 |
| children | f0f59e918cac |
line wrap: on
line diff
--- a/src/source_print.sml Tue Jul 01 13:23:46 2008 -0400 +++ b/src/source_print.sml Tue Jul 01 15:58:02 2008 -0400 @@ -287,6 +287,13 @@ | SgiInclude sgn => box [string "include", space, p_sgn sgn] + | SgiConstraint (c1, c2) => box [string "constraint", + space, + p_con c1, + space, + string "~", + space, + p_con c2] and p_sgn (sgn, _) = case sgn of @@ -398,6 +405,18 @@ | DOpen (m, ms) => box [string "open", space, p_list_sep (string ".") string (m :: ms)] + | DConstraint (c1, c2) => box [string "constraint", + space, + p_con c1, + space, + string "~", + space, + p_con c2] + | DOpenConstraints (m, ms) => box [string "open", + space, + string "constraints", + space, + p_list_sep (string ".") string (m :: ms)] and p_str (str, _) = case str of