From c544ef31823c7d2c28c28cae408cca5d71e6978d Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@chalmers.se>
Date: Wed, 21 May 2008 13:10:54 +0000
Subject: use ByteString internally in Ident, CId and Label

---
 src-3.0/GF/Grammar/Values.hs | 24 +++---------------------
 1 file changed, 3 insertions(+), 21 deletions(-)

(limited to 'src-3.0/GF/Grammar/Values.hs')

diff --git a/src-3.0/GF/Grammar/Values.hs b/src-3.0/GF/Grammar/Values.hs
index 6e029d98b..ab7d874da 100644
--- a/src-3.0/GF/Grammar/Values.hs
+++ b/src-3.0/GF/Grammar/Values.hs
@@ -19,15 +19,15 @@ module GF.Grammar.Values (-- * values used in TC type checking
 	       -- * for TC
 	       valAbsInt, valAbsFloat, valAbsString, vType,
 	       isPredefCat,
-	       cType, cPredefAbs, cInt, cFloat, cString,
 	       eType, tree2exp, loc2treeFocus
 	      ) where
 
 import GF.Data.Operations
 import GF.Data.Zipper
 
-import GF.Grammar.Grammar
 import GF.Infra.Ident
+import GF.Grammar.Grammar
+import GF.Grammar.Predef
 
 -- values used in TC type checking
 
@@ -67,26 +67,8 @@ valAbsString = VCn (cPredefAbs, cString)
 vType :: Val
 vType = VType
 
-cType :: Ident
-cType = identC "Type" --- #0
-
-cPredefAbs :: Ident
-cPredefAbs = identC "PredefAbs"
-
-cInt :: Ident
-cInt = identC "Int"
-
-cFloat :: Ident
-cFloat = identC "Float"
-
-cString :: Ident
-cString = identC "String"
-
-isPredefCat :: Ident -> Bool
-isPredefCat c = elem c [cInt,cString,cFloat]
-
 eType :: Exp
-eType = Sort "Type"
+eType = Sort cType
 
 tree2exp :: Tree -> Exp
 tree2exp (Tr (N (bi,at,_,_,_),ts)) = foldr Abs (foldl App at' ts') bi' where
-- 
cgit v1.2.3