for backward compatibility we have the old parse function again. the old functionality is exposed by parse_

src/compiler/GF/Command/Commands.hs

@@ -897,7 +897,7 @@ allCommands env@(pgf, mos) = Map.fromList [
   ]
  where
    par opts s = case optOpenTypes opts of
-                  []        -> [parse pgf lang (optType opts) s | lang <- optLangs opts]
+                  []        -> [parse_ pgf lang (optType opts) s | lang <- optLangs opts]
                   open_typs -> [parseWithRecovery pgf lang (optType opts) open_typs s | lang <- optLangs opts]
  
    void = ([],[])

src/compiler/GF/Compile/ExampleBased.hs

@@ -41,7 +41,7 @@ convertFile conf src file = do
   convEx (cat,ex) = do
     appn "("
     let typ = maybe (error "no valid cat") id $ readType cat
-    ws <- case fst (parse pgf lang typ ex) of
+    ws <- case fst (parse_ pgf lang typ ex) of
       ParseFailed _ -> do
         let ws = morphoMissing morpho (words ex)
         appv ("WARNING: cannot parse example " ++ ex) 

src/compiler/GF/Quiz.hs

@@ -46,10 +46,7 @@ translationList mex mprobs pgf ig og typ number = do
   return $ map mkOne $ ts
  where
    mkOne t = (norml (linearize pgf ig t), map (norml . linearize pgf og) (homonyms t))
-   homonyms t =
+   homonyms = parse pgf ig typ . linearize pgf ig
-     case (fst . parse pgf ig typ . linearize pgf ig) t of
-       ParseResult ts -> ts
-       _              -> []
 
 morphologyList :: 
   Maybe Expr -> Maybe Probabilities -> 

src/runtime/haskell/PGF.hs

@@ -58,7 +58,7 @@ module PGF(
            Forest.showBracketedString,
 
            -- ** Parsing
-           parse, parseWithRecovery, parseAllLang, parseAll,
+           parse, parseAllLang, parseAll, parse_, parseWithRecovery,
 
            -- ** Evaluation
            PGF.compute, paraphrase,
@@ -139,10 +139,7 @@ readPGF  :: FilePath -> IO PGF
 
 -- | Tries to parse the given string in the specified language
 -- and to produce abstract syntax expression.
-parse        :: PGF -> Language -> Type -> String -> (Parse.ParseResult,Maybe BracketedString)
+parse        :: PGF -> Language -> Type -> String -> [Tree]
-
--- | This is an experimental function. Use it on your own risk
-parseWithRecovery :: PGF -> Language -> Type -> [Type] -> String -> (Parse.ParseResult,Maybe BracketedString)
 
 -- | The same as 'parseAllLang' but does not return
 -- the language.
@@ -156,6 +153,12 @@ parseAll     :: PGF -> Type -> String -> [[Tree]]
 -- for which at least one parsing is possible are listed.
 parseAllLang :: PGF -> Type -> String -> [(Language,[Tree])]
 
+-- | The same as 'parse' but returns more detailed information
+parse_       :: PGF -> Language -> Type -> String -> (Parse.ParseResult,Maybe BracketedString)
+
+-- | This is an experimental function. Use it on your own risk
+parseWithRecovery :: PGF -> Language -> Type -> [Type] -> String -> (Parse.ParseResult,Maybe BracketedString)
+
 -- | The same as 'generateAllDepth' but does not limit
 -- the depth in the generation, and doesn't give an initial expression.
 generateAll      :: PGF -> Type -> [Expr]
@@ -217,7 +220,17 @@ complete :: PGF -> Language -> Type -> String
 
 readPGF f = decodeFile f
 
-parse pgf lang typ s = 
+parse pgf lang typ s =
+  case parse_ pgf lang typ s of
+    (Parse.ParseResult ts,_) -> ts
+    _                        -> []
+
+parseAll mgr typ = map snd . parseAllLang mgr typ
+
+parseAllLang mgr typ s = 
+  [(lang,ts) | lang <- languages mgr, (Parse.ParseResult ts,_) <- [parse_ mgr lang typ s]]
+
+parse_ pgf lang typ s = 
   case Map.lookup lang (concretes pgf) of
     Just cnc -> Parse.parse pgf lang typ (words s)
     Nothing  -> error ("Unknown language: " ++ showCId lang)
@@ -231,11 +244,6 @@ groupResults = Map.toList . foldr more Map.empty . start . concat
   more (l,s) = 
     Map.insertWith (\ [x] xs -> if elem x xs then xs else (x : xs)) l s
 
-parseAll mgr typ = map snd . parseAllLang mgr typ
-
-parseAllLang mgr typ s = 
-  [(lang,ts) | lang <- languages mgr, (Parse.ParseResult ts,_) <- [parse mgr lang typ s], not (null ts)]
-
 generateRandom pgf cat = do
   gen <- newStdGen
   return $ genRandom gen pgf cat

src/server/PGFService.hs

@@ -310,7 +310,7 @@ cat pgf mcat = fromMaybe (PGF.startCat pgf) mcat
 
 parse' :: PGF -> String -> Maybe PGF.Type -> Maybe PGF.Language -> [(PGF.Language,[PGF.Tree])]
 parse' pgf input mcat mfrom = 
-   [(from,ts) | from <- froms, canParse pgf from, (PGF.ParseResult ts,_) <- [PGF.parse pgf from cat input]]
+   [(from,ts) | from <- froms, canParse pgf from, (PGF.ParseResult ts,_) <- [PGF.parse_ pgf from cat input]]
   where froms = maybe (PGF.languages pgf) (:[]) mfrom
         cat = fromMaybe (PGF.startCat pgf) mcat