diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/UseGrammar/Parsing.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/GF/UseGrammar/Parsing.hs b/src/GF/UseGrammar/Parsing.hs index cee11cbe1..82e9297a6 100644 --- a/src/GF/UseGrammar/Parsing.hs +++ b/src/GF/UseGrammar/Parsing.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/05/09 09:28:46 $ --- > CVS $Author: peb $ --- > CVS $Revision: 1.21 $ +-- > CVS $Date: 2005/05/10 14:16:59 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.22 $ -- -- (Description of the module) ----------------------------------------------------------------------------- @@ -103,7 +103,7 @@ trees2trms opts sg cn as ts0 info = do let num = optIntOrN opts flagRawtrees 99999 let (ts01,rest) = splitAt num ts0 if null rest then return () - else checkWarn ("Warning: only" +++ show num +++ "raw parses out of" +++ + else raise ("Warning: only" +++ show num +++ "raw parses out of" +++ show (length ts0) +++ "considered; use -rawtrees=<Int> to see more" ) |