From c86192273657fe17d4dfe246f0d850379b9e5866 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 24 Aug 2004 11:49:46 +0000 Subject: some var parser bug fixes --- src/GF/UseGrammar/Parsing.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/GF/UseGrammar/Parsing.hs') diff --git a/src/GF/UseGrammar/Parsing.hs b/src/GF/UseGrammar/Parsing.hs index 1e736d24e..ba0669029 100644 --- a/src/GF/UseGrammar/Parsing.hs +++ b/src/GF/UseGrammar/Parsing.hs @@ -20,6 +20,7 @@ import Option import Custom import ShellState +import PPrCF (prCFTree) import qualified ParseGFC as N import Operations @@ -69,7 +70,10 @@ trees2trms opts sg cn as ts0 info = do _ | null ts0 -> checkWarn "No success in cf parsing" >> return [] _ | raw -> do ts1 <- return (map cf2trm0 ts0) ----- should not need annot - mapM (checkErr . (annotate gr) . trExp) ts1 ---- complicated; often fails + checks [ + mapM (checkErr . (annotate gr) . trExp) ts1 ---- complicated, often fails + ,checkWarn (unlines ("Raw CF trees:":(map prCFTree ts0))) >> return [] + ] _ -> do let num = optIntOrN opts flagRawtrees 99999 let (ts01,rest) = splitAt num ts0 -- cgit v1.2.3