diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile/PGFtoAbstract.hs | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/src/compiler/GF/Compile/PGFtoAbstract.hs b/src/compiler/GF/Compile/PGFtoAbstract.hs deleted file mode 100644 index 032a53f81..000000000 --- a/src/compiler/GF/Compile/PGFtoAbstract.hs +++ /dev/null @@ -1,42 +0,0 @@ --- | Extract the abstract syntax from a PGF and convert to it --- the AST for canonical GF grammars -module GF.Compile.PGFtoAbstract(abstract2canonical) where -import qualified Data.Map as M -import PGF(CId,mkCId,showCId,wildCId,unType,abstractName) -import PGF.Internal(abstract,cats,funs) -import GF.Grammar.Canonical - - -abstract2canonical pgf = Abstract (gId (abstractName pgf)) cs fs - where - abstr = abstract pgf - cs = [CatDef (gId c) (convHs' hs) | - (c,(hs,_,_)) <- M.toList (cats abstr), - c `notElem` predefCat] - fs = [FunDef (gId f) (convT ty) | (f,(ty,ar,_,_)) <- M.toList (funs abstr)] - -predefCat = map mkCId ["Float","Int","String"] - -convHs' = map convH' -convH' (bt,name,ty) = - case unType ty of - ([],name,[]) -> gId name -- !! - -convT t = - case unType t of - (hypos,name,[]) -> Type (convHs hypos) (TypeApp (gId name) []) -- !! - -convHs = map convH - -convH (bt,name,ty) = TypeBinding (gId name) (convT ty) - --------------------------------------------------------------------------------- - -class FromCId i where gId :: CId -> i - -instance FromCId FunId where gId = FunId . showCId -instance FromCId CatId where gId = CatId . showCId -instance FromCId ModId where gId = ModId . showCId - -instance FromCId VarId where - gId i = if i==wildCId then Anonymous else VarId (showCId i) |