code cleanup in the typechecker

2026-05-16 06:32:51 -06:00 · 2009-03-15 17:33:14 +00:00
parent 9f4720373f
commit 26e86f13dc
3 changed files with 7 additions and 46 deletions
--- a/src/GF/Grammar/PrGrammar.hs
+++ b/src/GF/Grammar/PrGrammar.hs
@@ -22,7 +22,7 @@
 module GF.Grammar.PrGrammar (Print(..),
 		  prtBad,
 		  prGrammar,
-		  prConstrs, prConstraints, 
+		  prConstrs, 
                  prTermTabular
 		 ) where

@@ -152,9 +152,6 @@ prprTree = prf False where

 -- auxiliaries

-prConstraints :: Constraints -> String
-prConstraints = concat . prConstrs
-
 prMetaSubst :: MetaSubst -> String
 prMetaSubst = concat . prMSubst