diff options
| author | aarne <unknown> | 2005-03-12 12:01:48 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-03-12 12:01:48 +0000 |
| commit | f11a6b68137cf49ad882437c8ce74e17f8e7cbdc (patch) | |
| tree | 4733d0fff15b6f792c69d2728e191438cb60e84d /src/GF/CF | |
| parent | 8886f40660ef4d6ac9aaf9b1377697b84b0f2a35 (diff) | |
fixed lbnf printing
Diffstat (limited to 'src/GF/CF')
| -rw-r--r-- | src/GF/CF/PrLBNF.hs | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/src/GF/CF/PrLBNF.hs b/src/GF/CF/PrLBNF.hs index fbd9dba98..2079c4607 100644 --- a/src/GF/CF/PrLBNF.hs +++ b/src/GF/CF/PrLBNF.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/02/18 19:21:08 $ --- > CVS $Author: peb $ --- > CVS $Revision: 1.8 $ +-- > CVS $Date: 2005/03/12 13:01:48 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.9 $ -- -- Printing CF grammars generated from GF as LBNF grammar for BNFC. -- AR 26/1/2000 -- 9/6/2003 (PPrCF) -- 8/11/2003 -- 27/9/2004. @@ -32,13 +32,18 @@ import Char import List (nub) prLBNF :: Bool -> StateGrammar -> String -prLBNF new gr = unlines $ pragmas ++ (map (prCFRule cs) rules) +prLBNF new gr = unlines $ pragmas ++ (map (prCFRule cs) rules') where cs = map IC ["Int","String"] ++ [catIdPlus c | (_,(c,_)) <- rules] cf = stateCF gr (pragmas,rules) = if new -- tries to treat precedence levels then mkLBNF (stateGrammarST gr) $ rulesOfCF cf else ([],rulesOfCF cf) -- "normal" behaviour + rules' = concatMap expand rules + expand (f,(c,its)) = [(f,(c,it)) | it <- combinations (map expIt its)] + expIt i = case i of + CFTerm (RegAlts ss) -> [CFTerm (RegAlts [s]) | s <- ss] + _ -> [i] -- | a hack to hide the LBNF details prBNF :: Bool -> StateGrammar -> String |