diff options
Diffstat (limited to 'src/source_print.sml')
| -rw-r--r-- | src/source_print.sml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/source_print.sml b/src/source_print.sml index 0f8b093b..b4f9bfd3 100644 --- a/src/source_print.sml +++ b/src/source_print.sml @@ -360,9 +360,7 @@ and p_vali (x, co, e) = fun p_datatype (x, xs, cons) = - box [string "datatype", - space, - string x, + box [string x, p_list_sep (box []) (fn x => box [space, string x]) xs, space, string "=", @@ -399,7 +397,9 @@ fun p_sgn_item (sgi, _) = string "=", space, p_con c] - | SgiDatatype x => p_datatype x + | SgiDatatype x => box [string "datatype", + space, + p_list_sep (box [space, string "and", space]) p_datatype x] | SgiDatatypeImp (x, ms, x') => box [string "datatype", space, @@ -530,7 +530,9 @@ fun p_decl ((d, _) : decl) = string "=", space, p_con c] - | DDatatype x => p_datatype x + | DDatatype x => box [string "datatype", + space, + p_list_sep (box [space, string "and", space]) p_datatype x] | DDatatypeImp (x, ms, x') => box [string "datatype", space, |