From 41657fed460ddc959db9d2a4c6000c77b5c82f3c Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 10 May 2005 13:16:59 +0000 Subject: tiny fixes --- src/GF/UseGrammar/Parsing.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/GF') 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= to see more" ) -- cgit v1.2.3