diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-14 07:32:59 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-14 07:32:59 +0000 |
| commit | c36ee1492e37fc552e9d5737ded3e84ffefa3ee8 (patch) | |
| tree | 3099b20a5f5bfff642602b585b7f855ec0260c3a | |
| parent | 745f6ac83f207709127bbec22c3484ad06ec6907 (diff) | |
oops, readded CanonToGFCC to darcs
| -rw-r--r-- | src/GF/Canon/CanonToGFCC.hs | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/src/GF/Canon/CanonToGFCC.hs b/src/GF/Canon/CanonToGFCC.hs new file mode 100644 index 000000000..8d5656aa4 --- /dev/null +++ b/src/GF/Canon/CanonToGFCC.hs @@ -0,0 +1,45 @@ +module GF.Canon.CanonToGFCC where + +import GF.Devel.GrammarToGFCC +import GF.Devel.PrintGFCC +import GF.GFCC.CheckGFCC (checkGFCCmaybe) +import GF.GFCC.OptimizeGFCC +import GF.Canon.AbsGFC +import GF.Canon.GFC +import GF.Canon.CanonToGrammar +import GF.Canon.Subexpressions +import GF.Devel.PrintGFCC +import GF.Grammar.PrGrammar + +import qualified GF.Infra.Modules as M +import GF.Infra.Option + +import GF.Data.Operations +import GF.Text.UTF8 + +canon2gfccPr opts = printGFCC . canon2gfcc opts +canon2gfcc opts = source2gfcc opts . canon2source ---- +canon2source = err error id . canon2sourceGrammar . unSubelimCanon + +source2gfcc opts gf = + let + (abs,gfcc) = mkCanon2gfcc opts (gfcabs gf) gf + gfcc1 = maybe undefined id $ checkGFCCmaybe gfcc + in if oElem (iOpt "noopt") opts then gfcc1 else optGFCC gfcc1 + +gfcabs gfc = + prt $ head $ M.allConcretes gfc $ maybe (error "no abstract") id $ + M.greatestAbstract gfc + +{- +-- this variant makes utf8 conversion; used in back ends +mkCanon2gfcc :: CanonGrammar -> D.GFCC +mkCanon2gfcc = +-- canon2gfcc . reorder abs . utf8Conv . canon2canon abs + optGFCC . canon2gfcc . reorder . utf8Conv . canon2canon . normalize + +-- this variant makes no utf8 conversion; used in ShellState +mkCanon2gfccNoUTF8 :: CanonGrammar -> D.GFCC +mkCanon2gfccNoUTF8 = optGFCC . canon2gfcc . reorder . canon2canon . normalize +-} + |
