diff options
| author | peb <unknown> | 2004-06-10 14:37:43 +0000 |
|---|---|---|
| committer | peb <unknown> | 2004-06-10 14:37:43 +0000 |
| commit | 652618742aa1dd10b1a53bb132a476a91f1dc3ba (patch) | |
| tree | 602c1ab0e7f8ba9f1797e90a9a768c19e35d677a /src/GF/UseGrammar/Parsing.hs | |
| parent | 3522b2a3cd8d01ef1b908c1a717b0592332a5737 (diff) | |
*** empty log message ***
Diffstat (limited to 'src/GF/UseGrammar/Parsing.hs')
| -rw-r--r-- | src/GF/UseGrammar/Parsing.hs | 4 |
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 |
