summaryrefslogtreecommitdiff
path: root/src/elab_print.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/elab_print.sml')
-rw-r--r--src/elab_print.sml22
1 files changed, 11 insertions, 11 deletions
diff --git a/src/elab_print.sml b/src/elab_print.sml
index c32368a9..7ce94c97 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -680,17 +680,17 @@ and p_sgn env (sgn, _) =
string ":",
space,
p_sgn (E.pushStrNamedAs env x n sgn) sgn']
- | SgnWhere (sgn, x, c) => box [p_sgn env sgn,
- space,
- string "where",
- space,
- string "con",
- space,
- string x,
- space,
- string "=",
- space,
- p_con env c]
+ | SgnWhere (sgn, ms, x, c) => box [p_sgn env sgn,
+ space,
+ string "where",
+ space,
+ string "con",
+ space,
+ p_list_sep (string ".") string (ms @ [x]),
+ space,
+ string "=",
+ space,
+ p_con env c]
| SgnProj (m1, ms, x) =>
let
val m1x = #1 (E.lookupStrNamed env m1)