diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-05-24 08:03:42 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-05-24 08:03:42 +0000 |
| commit | 5a386209ddf005f5a090f3668cfe246c3df22057 (patch) | |
| tree | e5a5b14034c5ec0b66b45b5b4761e61b6b299818 /src-3.0/GF/Compile | |
| parent | 77178cd2abf6774397259af547aec75ac07be26d (diff) | |
interpret "foo bar" as ["foo bar"], silently
Diffstat (limited to 'src-3.0/GF/Compile')
| -rw-r--r-- | src-3.0/GF/Compile/CheckGrammar.hs | 11 |
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) |