From 652618742aa1dd10b1a53bb132a476a91f1dc3ba Mon Sep 17 00:00:00 2001 From: peb Date: Thu, 10 Jun 2004 14:37:43 +0000 Subject: *** empty log message *** --- src/GF/UseGrammar/Parsing.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/GF/UseGrammar/Parsing.hs') diff --git a/src/GF/UseGrammar/Parsing.hs b/src/GF/UseGrammar/Parsing.hs index 6e6356081..380b58ae7 100644 --- a/src/GF/UseGrammar/Parsing.hs +++ b/src/GF/UseGrammar/Parsing.hs @@ -20,7 +20,7 @@ import Option import Custom import ShellState -import qualified ParseGFCviaCFG as N +import qualified ParseGFC as N import Operations @@ -71,7 +71,7 @@ trees2trms opts sg cn as ts0 info = do ts1 <- return (map cf2trm0 ts0) ----- should not need annot mapM (checkErr . (annotate gr) . trExp) ts1 ---- complicated; often fails _ -> do - (ts1,ss) <- checkErr $ mapErr postParse ts0 + (ts1,ss) <- checkErr $ mapErrN 10 postParse ts0 if null ts1 then raise ss else return () ts2 <- mapM (checkErr . annotate gr . refreshMetas [] . trExp) ts1 ---- if forgive then return ts2 else do -- cgit v1.2.3