summaryrefslogtreecommitdiff
path: root/src/GF/UseGrammar/Parsing.hs
diff options
context:
space:
mode:
authorpeb <unknown>2004-06-10 14:37:43 +0000
committerpeb <unknown>2004-06-10 14:37:43 +0000
commit652618742aa1dd10b1a53bb132a476a91f1dc3ba (patch)
tree602c1ab0e7f8ba9f1797e90a9a768c19e35d677a /src/GF/UseGrammar/Parsing.hs
parent3522b2a3cd8d01ef1b908c1a717b0592332a5737 (diff)
*** empty log message ***
Diffstat (limited to 'src/GF/UseGrammar/Parsing.hs')
-rw-r--r--src/GF/UseGrammar/Parsing.hs4
1 files changed, 2 insertions, 2 deletions
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