From 0d443e8cf304f775653d537b99e088bfe7600cb0 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 14 Dec 2007 07:32:59 +0000 Subject: [PATCH] oops, readded CanonToGFCC to darcs --- src/GF/Canon/CanonToGFCC.hs | 45 +++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 src/GF/Canon/CanonToGFCC.hs 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 +-} +