From 41b263cf6aa38e7c6ef090c0fa18949b86eec62c Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 22 May 2009 18:54:51 +0000
Subject: some work on evaluation with abstract expressions in PGF

---
 src/GF/Grammar/Printer.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/GF/Grammar/Printer.hs')

diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs
index 383d36d4f..12b7ba782 100644
--- a/src/GF/Grammar/Printer.hs
+++ b/src/GF/Grammar/Printer.hs
@@ -79,7 +79,7 @@ ppJudgement q (id, AbsCat pcont pconstrs) =
   case pconstrs of
     Just costrs -> text "data" <+> ppIdent id <+> equals <+> fsep (intersperse (char '|') (map (ppTerm q 0) costrs)) <+> semi
     Nothing     -> empty
-ppJudgement q (id, AbsFun ptype pexp) =
+ppJudgement q (id, AbsFun ptype _ pexp) =
   (case ptype of
      Just typ   -> text "fun" <+> ppIdent id <+> colon <+> ppTerm q 0 typ <+> semi
      Nothing    -> empty) $$
-- 
cgit v1.2.3