diff options
| author | aarne <unknown> | 2005-05-10 13:16:59 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-05-10 13:16:59 +0000 |
| commit | 41657fed460ddc959db9d2a4c6000c77b5c82f3c (patch) | |
| tree | bae6114d0def046d2152c24232c89a4e0776ede4 /src/GF | |
| parent | 6f3229f087b0655d28b6a39fcd9b9b4174d38137 (diff) | |
tiny fixes
Diffstat (limited to 'src/GF')
| -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" ) |