summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/GF.hs5
-rw-r--r--src/GF/Compile/MkConcrete.hs18
-rw-r--r--src/GF/Shell/ShellCommands.hs8
3 files changed, 18 insertions, 13 deletions
diff --git a/src/GF.hs b/src/GF.hs
index a4bf22c59..7d093e1df 100644
--- a/src/GF.hs
+++ b/src/GF.hs
@@ -48,7 +48,7 @@ main = do
doGF os fs = case 0 of
- _ | opt getHelp -> do
+ _ | opt getHelp || any opt (map iOpt ["h", "-help", "-h"])-> do
putStrLnFlush $ encodeUTF8 helpMsg
_ | opt forJava -> do
@@ -99,10 +99,11 @@ helpMsg = unlines [
" -edit start the editor GUI (same as command 'jgf')",
" -ex first compile .gfe files as needed, then .gf files",
" -examples batch-compile .gfe files by parsing examples",
- " -help show this message",
+ " -treebank use a treebank, instead of a grammar, as parser",
" -make batch-compile files",
" -noemit do not emit code when compiling",
" -v be verbose when compiling",
+ " -help show this message",
"Also all flags for import (i) are interpreted; see 'help import'.",
"An example combination of flags is",
" gf -batch -nocpu -s",
diff --git a/src/GF/Compile/MkConcrete.hs b/src/GF/Compile/MkConcrete.hs
index aafa56242..0355cdaf0 100644
--- a/src/GF/Compile/MkConcrete.hs
+++ b/src/GF/Compile/MkConcrete.hs
@@ -67,9 +67,9 @@ mkCncGroups opts0 ((res,path),files) = do
let treebank = oElem (iOpt "treebank") opts
egr <- appIOE $ shellStateFromFiles opts emptyShellState res
(parser,morpho) <- if treebank then do
- tb <- err (\_ -> error "no treebank")
+ tb <- err (\_ -> error $ "no treebank of name" +++ path)
return
- (egr >>= flip findTreebank (zIdent (unsuffixFile res)))
+ (egr >>= flip findTreebank (zIdent path))
return (\_ -> flip (,) "Not in treebank" . map pTrm . lookupTreebank tb,
isWordInTreebank tb)
else do
@@ -91,9 +91,11 @@ getResPath :: FilePath -> IO (String,String)
getResPath file = do
s <- liftM lines $ readFileIf file
case filter (not . all isSpace) s of
- res:path:_ | is "resource" res && is "path" path -> return (val res, val path)
+ res:path:_ | is "resource" res && is "path" path -> return (val res, val path)
+ res:path:_ | is "resource" res && is "treebank" path -> return (val res, val path)
res:_ | is "resource" res -> return (val res, "")
- _ -> error "expected --# -resource=FILE and optional --# -path=PATH"
+ _ -> error
+ "expected --# -resource=FILE and optional --# -path=PATH or --# -treebank=IDENT"
where
val = dropWhile (isSpace) . tail . dropWhile (not . (=='='))
is tag s = case words s of
@@ -133,12 +135,14 @@ mkModule parser morpho (name,src) = case src of
Example (Vr cat) s -> parse cat s t
_ -> composOp mkTrm t
parse cat s t = case parser (prt_ cat) s of
- (tr:[], _) -> return tr
+ (tr:[], _) -> do
+ updateSTM ((("PARSED in" +++ prt_ name) : s : [prt_ tr]) ++)
+ return tr
(tr:trs,_) -> do
- updateSTM ((("AMBIGUOUS" +++ prt_ name) : s : map prt_ trs) ++)
+ updateSTM ((("AMBIGUOUS in" +++ prt_ name) : s : map prt_ trs) ++)
return tr
([],ms) -> do
- updateSTM ((("NO PARSE" +++ prt_ name) : s : ms : [morph s]) ++)
+ updateSTM ((("NO PARSE in" +++ prt_ name) : s : ms : [morph s]) ++)
return t
morph s = case [w | w <- words s, not (morpho w)] of
[] -> ""
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index 0b08f3f9d..160f7bc22 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -168,11 +168,11 @@ testValidFlag st co f x = case f of
optionsOfCommand :: Command -> ([String],[String])
optionsOfCommand co = case co of
- CSetFlag -> both "utf8 table struct record all multi"
- "cat lang lexer parser number depth rawtrees unlexer optimize path conversion printer"
-
+ CSetFlag ->
+ both "utf8 table struct record all multi"
+ "cat lang lexer parser number depth rawtrees unlexer optimize path conversion printer"
CImport _ ->
- both "old v s src gfc retain nocf nocheckcirc cflexer noemit o make ex prob treebank"
+ both "old v s src make gfc retain nocf nocheckcirc cflexer noemit o make ex prob treebank"
"abs cnc res path optimize conversion cat preproc probs noparse"
CRemoveLanguage _ -> none
CEmptyState -> none