summaryrefslogtreecommitdiff
path: root/src/GF/Source/SkelGF.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Source/SkelGF.hs')
-rw-r--r--src/GF/Source/SkelGF.hs364
1 files changed, 0 insertions, 364 deletions
diff --git a/src/GF/Source/SkelGF.hs b/src/GF/Source/SkelGF.hs
deleted file mode 100644
index 3bd192f9d..000000000
--- a/src/GF/Source/SkelGF.hs
+++ /dev/null
@@ -1,364 +0,0 @@
-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
-
-
-
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 06:27:58 +0000