From 5f2121e18199d4f3d95ebb8c73ef299eacdb436e Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 3 May 2007 13:55:34 +0000
Subject: [PATCH] removed the Str/Tok distinction in CheckGrammar - obsolete
 anyway.

---
 src/GF/Compile/CheckGrammar.hs | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index 6ac23e3b2..0c5e9ba01 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -348,6 +348,7 @@ computeLType gr t = do
       let fs' = sortBy (\x y -> compare (fst x) (fst y)) fs
       liftM RecType $ mapPairsM comp fs'
 
+    _ | ty == typeTok -> return typeStr
     _ | isPredefConstant ty -> return ty
 
     _ -> composOp comp ty
@@ -460,13 +461,13 @@ inferLType gr trm = case trm of
         then checkWarn ("Warning: space in token \"" ++ s ++ 
                         "\". Lexical analysis may fail.")
         else return ()
-     return (trm, typeTok)
+     return (trm, typeStr)
 
    EInt i -> return (trm, typeInt)
 
    EFloat i -> return (trm, typeFloat)
 
-   Empty -> return (trm, typeTok)
+   Empty -> return (trm, typeStr)
 
    C s1 s2 -> 
      check2 (flip justCheck typeStr) C s1 s2 typeStr
@@ -571,8 +572,8 @@ inferLType gr trm = case trm of
      PAs _ p  -> inferPatt p
      PNeg p   -> inferPatt p
      PAlt p q -> checks [inferPatt p, inferPatt q]
-     PSeq _ _ -> return $ typeTok
-     PRep _   -> return $ typeTok
+     PSeq _ _ -> return $ typeStr
+     PRep _   -> return $ typeStr
      _ -> infer (patt2term p) >>= return . snd