From 7bdc4cabdb8e5efbc4a194fe0bfe9442c7644798 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 14 Aug 2008 18:35:08 -0400
Subject: Non-star SELECT

---
 src/elab_print.sml | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/elab_print.sml')

diff --git a/src/elab_print.sml b/src/elab_print.sml
index 6c42351c..b67ff7eb 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -49,6 +49,9 @@ fun p_kind' par (k, _) =
       | KName => string "Name"
       | KRecord k => box [string "{", p_kind k, string "}"]
       | KUnit => string "Unit"
+      | KTuple ks => box [string "(",
+                          p_list_sep (box [space, string "*", space]) p_kind ks,
+                          string ")"]
 
       | KError => string "<ERROR>"
       | KUnif (_, _, ref (SOME k)) => p_kind' par k
@@ -177,6 +180,13 @@ fun p_con' par env (c, _) =
 
       | CUnit => string "()"
 
+      | CTuple cs => box [string "(",
+                          p_list (p_con env) cs,
+                          string ")"]
+      | CProj (c, n) => box [p_con env c,
+                             string ".",
+                             string (Int.toString n)]
+
       | CError => string "<ERROR>"
       | CUnif (_, _, _, ref (SOME c)) => p_con' par env c
       | CUnif (_, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"),
-- 
cgit v1.2.3