diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-02-12 10:53:13 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-02-12 10:53:13 +0000 |
| commit | 4922ab6cc495087f40399746f616cd88590fd884 (patch) | |
| tree | b180f222f96c7e286337681efdc6834b94f6e3e8 /src/compiler/GF/Grammar | |
| parent | a4c9d20fc3a92dc2e80208d4fe7b4f54a64a17af (diff) | |
now the beam size for the statistical parser can be configured by using the flag beam_size in the top-level concrete module
Diffstat (limited to 'src/compiler/GF/Grammar')
| -rw-r--r-- | src/compiler/GF/Grammar/Parser.y | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/compiler/GF/Grammar/Parser.y b/src/compiler/GF/Grammar/Parser.y index 680724fcc..f8e0d3b46 100644 --- a/src/compiler/GF/Grammar/Parser.y +++ b/src/compiler/GF/Grammar/Parser.y @@ -277,6 +277,9 @@ FlagDef : Posn Ident '=' Ident Posn {% case parseModuleOptions ["--" ++ showIdent $2 ++ "=" ++ showIdent $4] of Ok x -> return x Bad msg -> failLoc $1 msg } + | Posn Ident '=' Double Posn {% case parseModuleOptions ["--" ++ showIdent $2 ++ "=" ++ show $4] of + Ok x -> return x + Bad msg -> failLoc $1 msg } ListDataConstr :: { [Ident] } ListDataConstr |