From 3dc2e55949496acd054bdb09428b4c44562ee0d0 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 25 Jun 2012 09:24:04 +0000
Subject: [PATCH] printing ResValue judgements as comments, to provide useful
 information when a conflict is found between parameter constructors

---
 src/compiler/GF/Grammar/Printer.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs
index 9f8ee45b9..f7257751e 100644
--- a/src/compiler/GF/Grammar/Printer.hs
+++ b/src/compiler/GF/Grammar/Printer.hs
@@ -111,7 +111,10 @@ ppJudgement q (id, ResParam pparams _) =
   (case pparams of
      Just (L _ ps) -> equals <+> ppParams q ps
      _             -> empty) <+> semi
-ppJudgement q (id, ResValue pvalue) = empty
+ppJudgement q (id, ResValue pvalue) = 
+  text "-- param constructor" <+> ppIdent id <+> colon <+> 
+  (case pvalue of
+     (L _ ty) -> ppTerm q 0 ty) <+> semi
 ppJudgement q (id, ResOper  ptype pexp) =
   text "oper" <+> ppIdent id <+>
   (case ptype of {Just (L _ t) -> colon  <+> ppTerm q 0 t; Nothing -> empty} $$