GF/src is now for 2.9, and the new sources are in src-3.0 - keep it this way until the release of GF 3

1 files changed, 364 insertions, 0 deletions

diff --git a/src-3.0/GF/Source/SkelGF.hs b/src-3.0/GF/Source/SkelGF.hs
new file mode 100644
index 000000000..3bd192f9d
--- /dev/null
+++ b/src-3.0/GF/Source/SkelGF.hs
@@ -0,0 +1,364 @@
+module GF.Source.SkelGF where
+
+-- Haskell module generated by the BNF converter
+
+import GF.Source.AbsGF
+import GF.Source.ErrM
+type Result = Err String
+
+failure :: Show a => a -> Result
+failure x = Bad $ "Undefined case: " ++ show x
+
+transLString :: LString -> Result
+transLString x = case x of
+  LString str  -> failure x
+
+
+transPIdent :: PIdent -> Result
+transPIdent x = case x of
+  PIdent str  -> failure x
+
+
+transGrammar :: Grammar -> Result
+transGrammar x = case x of
+  Gr moddefs  -> failure x
+
+
+transModDef :: ModDef -> Result
+transModDef x = case x of
+  MMain pident0 pident concspecs  -> failure x
+  MModule complmod modtype modbody  -> failure x
+
+
+transConcSpec :: ConcSpec -> Result
+transConcSpec x = case x of
+  ConcSpec pident concexp  -> failure x
+
+
+transConcExp :: ConcExp -> Result
+transConcExp x = case x of
+  ConcExp pident transfers  -> failure x
+
+
+transTransfer :: Transfer -> Result
+transTransfer x = case x of
+  TransferIn open  -> failure x
+  TransferOut open  -> failure x
+
+
+transModType :: ModType -> Result
+transModType x = case x of
+  MTAbstract pident  -> failure x
+  MTResource pident  -> failure x
+  MTInterface pident  -> failure x
+  MTConcrete pident0 pident  -> failure x
+  MTInstance pident0 pident  -> failure x
+  MTTransfer pident open0 open  -> failure x
+
+
+transModBody :: ModBody -> Result
+transModBody x = case x of
+  MBody extend opens topdefs  -> failure x
+  MNoBody includeds  -> failure x
+  MWith included opens  -> failure x
+  MWithBody included opens0 opens topdefs  -> failure x
+  MWithE includeds included opens  -> failure x
+  MWithEBody includeds included opens0 opens topdefs  -> failure x
+  MReuse pident  -> failure x
+  MUnion includeds  -> failure x
+
+
+transExtend :: Extend -> Result
+transExtend x = case x of
+  Ext includeds  -> failure x
+  NoExt  -> failure x
+
+
+transOpens :: Opens -> Result
+transOpens x = case x of
+  NoOpens  -> failure x
+  OpenIn opens  -> failure x
+
+
+transOpen :: Open -> Result
+transOpen x = case x of
+  OName pident  -> failure x
+  OQualQO qualopen pident  -> failure x
+  OQual qualopen pident0 pident  -> failure x
+
+
+transComplMod :: ComplMod -> Result
+transComplMod x = case x of
+  CMCompl  -> failure x
+  CMIncompl  -> failure x
+
+
+transQualOpen :: QualOpen -> Result
+transQualOpen x = case x of
+  QOCompl  -> failure x
+  QOIncompl  -> failure x
+  QOInterface  -> failure x
+
+
+transIncluded :: Included -> Result
+transIncluded x = case x of
+  IAll pident  -> failure x
+  ISome pident pidents  -> failure x
+  IMinus pident pidents  -> failure x
+
+
+transDef :: Def -> Result
+transDef x = case x of
+  DDecl names exp  -> failure x
+  DDef names exp  -> failure x
+  DPatt name patts exp  -> failure x
+  DFull names exp0 exp  -> failure x
+
+
+transTopDef :: TopDef -> Result
+transTopDef x = case x of
+  DefCat catdefs  -> failure x
+  DefFun fundefs  -> failure x
+  DefFunData fundefs  -> failure x
+  DefDef defs  -> failure x
+  DefData datadefs  -> failure x
+  DefTrans defs  -> failure x
+  DefPar pardefs  -> failure x
+  DefOper defs  -> failure x
+  DefLincat printdefs  -> failure x
+  DefLindef defs  -> failure x
+  DefLin defs  -> failure x
+  DefPrintCat printdefs  -> failure x
+  DefPrintFun printdefs  -> failure x
+  DefFlag flagdefs  -> failure x
+  DefPrintOld printdefs  -> failure x
+  DefLintype defs  -> failure x
+  DefPattern defs  -> failure x
+  DefPackage pident topdefs  -> failure x
+  DefVars defs  -> failure x
+  DefTokenizer pident  -> failure x
+
+
+transCatDef :: CatDef -> Result
+transCatDef x = case x of
+  SimpleCatDef pident ddecls  -> failure x
+  ListCatDef pident ddecls  -> failure x
+  ListSizeCatDef pident ddecls n  -> failure x
+
+
+transFunDef :: FunDef -> Result
+transFunDef x = case x of
+  FunDef pidents exp  -> failure x
+
+
+transDataDef :: DataDef -> Result
+transDataDef x = case x of
+  DataDef pident dataconstrs  -> failure x
+
+
+transDataConstr :: DataConstr -> Result
+transDataConstr x = case x of
+  DataId pident  -> failure x
+  DataQId pident0 pident  -> failure x
+
+
+transParDef :: ParDef -> Result
+transParDef x = case x of
+  ParDefDir pident parconstrs  -> failure x
+  ParDefIndir pident0 pident  -> failure x
+  ParDefAbs pident  -> failure x
+
+
+transParConstr :: ParConstr -> Result
+transParConstr x = case x of
+  ParConstr pident ddecls  -> failure x
+
+
+transPrintDef :: PrintDef -> Result
+transPrintDef x = case x of
+  PrintDef names exp  -> failure x
+
+
+transFlagDef :: FlagDef -> Result
+transFlagDef x = case x of
+  FlagDef pident0 pident  -> failure x
+
+
+transName :: Name -> Result
+transName x = case x of
+  IdentName pident  -> failure x
+  ListName pident  -> failure x
+
+
+transLocDef :: LocDef -> Result
+transLocDef x = case x of
+  LDDecl pidents exp  -> failure x
+  LDDef pidents exp  -> failure x
+  LDFull pidents exp0 exp  -> failure x
+
+
+transExp :: Exp -> Result
+transExp x = case x of
+  EIdent pident  -> failure x
+  EConstr pident  -> failure x
+  ECons pident  -> failure x
+  ESort sort  -> failure x
+  EString str  -> failure x
+  EInt n  -> failure x
+  EFloat d  -> failure x
+  EMeta  -> failure x
+  EEmpty  -> failure x
+  EData  -> failure x
+  EList pident exps  -> failure x
+  EStrings str  -> failure x
+  ERecord locdefs  -> failure x
+  ETuple tuplecomps  -> failure x
+  EIndir pident  -> failure x
+  ETyped exp0 exp  -> failure x
+  EProj exp label  -> failure x
+  EQConstr pident0 pident  -> failure x
+  EQCons pident0 pident  -> failure x
+  EApp exp0 exp  -> failure x
+  ETable cases  -> failure x
+  ETTable exp cases  -> failure x
+  EVTable exp exps  -> failure x
+  ECase exp cases  -> failure x
+  EVariants exps  -> failure x
+  EPre exp alterns  -> failure x
+  EStrs exps  -> failure x
+  EConAt pident exp  -> failure x
+  EPatt patt  -> failure x
+  EPattType exp  -> failure x
+  ESelect exp0 exp  -> failure x
+  ETupTyp exp0 exp  -> failure x
+  EExtend exp0 exp  -> failure x
+  EGlue exp0 exp  -> failure x
+  EConcat exp0 exp  -> failure x
+  EAbstr binds exp  -> failure x
+  ECTable binds exp  -> failure x
+  EProd decl exp  -> failure x
+  ETType exp0 exp  -> failure x
+  ELet locdefs exp  -> failure x
+  ELetb locdefs exp  -> failure x
+  EWhere exp locdefs  -> failure x
+  EEqs equations  -> failure x
+  EExample exp str  -> failure x
+  ELString lstring  -> failure x
+  ELin pident  -> failure x
+
+
+transExps :: Exps -> Result
+transExps x = case x of
+  NilExp  -> failure x
+  ConsExp exp exps  -> failure x
+
+
+transPatt :: Patt -> Result
+transPatt x = case x of
+  PChar  -> failure x
+  PChars str  -> failure x
+  PMacro pident  -> failure x
+  PM pident0 pident  -> failure x
+  PW  -> failure x
+  PV pident  -> failure x
+  PCon pident  -> failure x
+  PQ pident0 pident  -> failure x
+  PInt n  -> failure x
+  PFloat d  -> failure x
+  PStr str  -> failure x
+  PR pattasss  -> failure x
+  PTup patttuplecomps  -> failure x
+  PC pident patts  -> failure x
+  PQC pident0 pident patts  -> failure x
+  PDisj patt0 patt  -> failure x
+  PSeq patt0 patt  -> failure x
+  PRep patt  -> failure x
+  PAs pident patt  -> failure x
+  PNeg patt  -> failure x
+
+
+transPattAss :: PattAss -> Result
+transPattAss x = case x of
+  PA pidents patt  -> failure x
+
+
+transLabel :: Label -> Result
+transLabel x = case x of
+  LIdent pident  -> failure x
+  LVar n  -> failure x
+
+
+transSort :: Sort -> Result
+transSort x = case x of
+  Sort_Type  -> failure x
+  Sort_PType  -> failure x
+  Sort_Tok  -> failure x
+  Sort_Str  -> failure x
+  Sort_Strs  -> failure x
+
+
+transBind :: Bind -> Result
+transBind x = case x of
+  BIdent pident  -> failure x
+  BWild  -> failure x
+
+
+transDecl :: Decl -> Result
+transDecl x = case x of
+  DDec binds exp  -> failure x
+  DExp exp  -> failure x
+
+
+transTupleComp :: TupleComp -> Result
+transTupleComp x = case x of
+  TComp exp  -> failure x
+
+
+transPattTupleComp :: PattTupleComp -> Result
+transPattTupleComp x = case x of
+  PTComp patt  -> failure x
+
+
+transCase :: Case -> Result
+transCase x = case x of
+  Case patt exp  -> failure x
+
+
+transEquation :: Equation -> Result
+transEquation x = case x of
+  Equ patts exp  -> failure x
+
+
+transAltern :: Altern -> Result
+transAltern x = case x of
+  Alt exp0 exp  -> failure x
+
+
+transDDecl :: DDecl -> Result
+transDDecl x = case x of
+  DDDec binds exp  -> failure x
+  DDExp exp  -> failure x
+
+
+transOldGrammar :: OldGrammar -> Result
+transOldGrammar x = case x of
+  OldGr include topdefs  -> failure x
+
+
+transInclude :: Include -> Result
+transInclude x = case x of
+  NoIncl  -> failure x
+  Incl filenames  -> failure x
+
+
+transFileName :: FileName -> Result
+transFileName x = case x of
+  FString str  -> failure x
+  FIdent pident  -> failure x
+  FSlash filename  -> failure x
+  FDot filename  -> failure x
+  FMinus filename  -> failure x
+  FAddId pident filename  -> failure x
+
+
+