forked from GitHub/gf-core
Removed some old dead code. The functionality is in API.hs.
This commit is contained in:
@@ -5,9 +5,9 @@
|
||||
-- Stability : (stable)
|
||||
-- Portability : (portable)
|
||||
--
|
||||
-- > CVS $Date: 2005/02/18 19:21:06 $
|
||||
-- > CVS $Author: peb $
|
||||
-- > CVS $Revision: 1.6 $
|
||||
-- > CVS $Date: 2005/03/04 14:08:36 $
|
||||
-- > CVS $Author: bringert $
|
||||
-- > CVS $Revision: 1.7 $
|
||||
--
|
||||
-- canonical GF. AR 10\/9\/2002 -- 9\/5\/2003 -- 21\/9
|
||||
-----------------------------------------------------------------------------
|
||||
@@ -58,73 +58,6 @@ data Info =
|
||||
deriving (Show)
|
||||
|
||||
type Printname = Term
|
||||
|
||||
-- some printing ----
|
||||
|
||||
{-
|
||||
prCanonModInfo :: (Ident,CanonModInfo) -> String
|
||||
prCanonModInfo = printTree . info2mod
|
||||
|
||||
prGrammar :: CanonGrammar -> String
|
||||
prGrammar = printTree . grammar2canon
|
||||
-}
|
||||
|
||||
{-
|
||||
-- apply a function to all concrete terms in a grammar
|
||||
mapConcreteTerms :: (Term -> Term) -> CanonGrammar -> CanonGrammar
|
||||
mapConcreteTerms f (M.MGrammar xs) = M.MGrammar $ map (onSnd (onModule f)) xs
|
||||
where
|
||||
onModule :: (Term -> Term) -> M.ModInfo i f Info -> M.ModInfo i f Info
|
||||
onModule f m = case m of
|
||||
M.ModMod (m@M.Module{M.jments=js}) ->
|
||||
M.ModMod (m{ M.jments = mapTree (onSnd (onInfo f)) js })
|
||||
_ -> m
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
-- if -utf8 was given, convert from language specific coding
|
||||
encode = if oElem useUTF8 opts then setUTF8Flag . canonUTF8 else id
|
||||
canonUTF8 = mapConcreteTerms (onTokens (anyCodingToUTF8 opts))
|
||||
setUTF8Flag = setFlag "coding" "utf8"
|
||||
|
||||
moduleToUTF8 :: Module Ident Flag Info -> Module Ident Flag Info
|
||||
moduleToUTF8 m = m{ jments = mapTree (onSnd }
|
||||
where
|
||||
code = anyCodingToUTF8 (moduleOpts m)
|
||||
moduleOpts = okError . mapM redFlag . flags
|
||||
|
||||
data MGrammar i f a = MGrammar {modules :: [(i,ModInfo i f a)]}
|
||||
deriving Show
|
||||
|
||||
data ModInfo i f a =
|
||||
ModMainGrammar (MainGrammar i)
|
||||
| ModMod (Module i f a)
|
||||
| ModWith (ModuleType i) ModuleStatus i [OpenSpec i]
|
||||
deriving Show
|
||||
|
||||
data Module i f a = Module {
|
||||
mtype :: ModuleType i ,
|
||||
mstatus :: ModuleStatus ,
|
||||
flags :: [f] ,
|
||||
extends :: Maybe i ,
|
||||
opens :: [OpenSpec i] ,
|
||||
jments :: BinTree (i,a)
|
||||
}
|
||||
deriving Show
|
||||
|
||||
|
||||
|
||||
-- Set a flag in all modules in a grammar
|
||||
setFlag :: String -> String -> CanonGrammar -> CanonGrammar
|
||||
setFlag n v (M.MGrammar ms) = M.MGrammar $ map (onSnd setFlagMod) ms
|
||||
where
|
||||
setFlagMod m = case m of
|
||||
M.ModMod (m@M.Module{M.flags=fs}) -> M.ModMod $ m{ M.flags = fs' }
|
||||
where fs' = Flg (IC n) (IC v):[f | f@(Flg (IC n') _) <- fs, n' /= n]
|
||||
_ -> m
|
||||
-}
|
||||
|
||||
mapInfoTerms :: (Term -> Term) -> Info -> Info
|
||||
mapInfoTerms f i = case i of
|
||||
|
||||
Reference in New Issue
Block a user