From 472f6ed14fba75037b94f591056128f1bfeab39e Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 24 May 2008 08:03:42 +0000 Subject: [PATCH] interpret "foo bar" as ["foo bar"], silently --- src-3.0/GF/Compile/CheckGrammar.hs | 11 +++++++---- 1 file 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)