summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src-3.0/GF/Compile/CheckGrammar.hs11
1 files changed, 7 insertions, 4 deletions
diff --git a/src-3.0/GF/Compile/CheckGrammar.hs b/src-3.0/GF/Compile/CheckGrammar.hs
index 9982aaf24..a474637f4 100644
--- a/src-3.0/GF/Compile/CheckGrammar.hs
+++ b/src-3.0/GF/Compile/CheckGrammar.hs
@@ -502,10 +502,13 @@ inferLType gr trm = case trm of
K s -> do
if elem ' ' s
- then checkWarn ("WARNING: space in token \"" ++ s ++
- "\". Lexical analysis may fail.")
- else return ()
- return (trm, typeStr)
+ then do
+ let ss = foldr C Empty (map K (words s))
+ ----- removed irritating warning AR 24/5/2008
+ ----- checkWarn ("WARNING: token \"" ++ s ++
+ ----- "\" converted to token list" ++ prt ss)
+ return (ss, typeStr)
+ else return (trm, typeStr)
EInt i -> return (trm, typeInt)