summaryrefslogtreecommitdiff
path: root/src/source_print.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/source_print.sml')
-rw-r--r--src/source_print.sml24
1 files changed, 13 insertions, 11 deletions
diff --git a/src/source_print.sml b/src/source_print.sml
index cd3314e1..c8a38922 100644
--- a/src/source_print.sml
+++ b/src/source_print.sml
@@ -505,17 +505,19 @@ and p_sgn (sgn, _) =
string ":",
space,
p_sgn sgn']
- | SgnWhere (sgn, x, c) => box [p_sgn sgn,
- space,
- string "where",
- space,
- string "con",
- space,
- string x,
- space,
- string "=",
- space,
- p_con c]
+ | SgnWhere (sgn, ms, x, c) => box [p_sgn sgn,
+ space,
+ string "where",
+ space,
+ string "con",
+ space,
+ p_list_sep (string ".")
+ string (ms @ [x]),
+ string x,
+ space,
+ string "=",
+ space,
+ p_con c]
| SgnProj (m, ms, x) => p_list_sep (string ".") string (m :: ms @ [x])