mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-24 03:52:50 -06:00
interpret "foo bar" as ["foo bar"], silently
This commit is contained in:
@@ -502,10 +502,13 @@ inferLType gr trm = case trm of
|
|||||||
|
|
||||||
K s -> do
|
K s -> do
|
||||||
if elem ' ' s
|
if elem ' ' s
|
||||||
then checkWarn ("WARNING: space in token \"" ++ s ++
|
then do
|
||||||
"\". Lexical analysis may fail.")
|
let ss = foldr C Empty (map K (words s))
|
||||||
else return ()
|
----- removed irritating warning AR 24/5/2008
|
||||||
return (trm, typeStr)
|
----- checkWarn ("WARNING: token \"" ++ s ++
|
||||||
|
----- "\" converted to token list" ++ prt ss)
|
||||||
|
return (ss, typeStr)
|
||||||
|
else return (trm, typeStr)
|
||||||
|
|
||||||
EInt i -> return (trm, typeInt)
|
EInt i -> return (trm, typeInt)
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user