From c985dab565416251d9973f5b3bafe4d9d205b249 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 1 Oct 2003 12:46:44 +0000 Subject: Putting def definitions in place. --- src/GF/Source/SkelGF.hs | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) (limited to 'src/GF/Source/SkelGF.hs') diff --git a/src/GF/Source/SkelGF.hs b/src/GF/Source/SkelGF.hs index cf0932a87..f18b5bd7b 100644 --- a/src/GF/Source/SkelGF.hs +++ b/src/GF/Source/SkelGF.hs @@ -3,7 +3,6 @@ module SkelGF where -- Haskell module generated by the BNF converter import AbsGF -import Ident import ErrM type Result = Err String @@ -12,7 +11,7 @@ failure x = Bad $ "Undefined case: " ++ show x transIdent :: Ident -> Result transIdent x = case x of - _ -> failure x + Ident str -> failure x transLString :: LString -> Result @@ -88,7 +87,7 @@ transTopDef x = case x of DefCat catdefs -> failure x DefFun fundefs -> failure x DefDef defs -> failure x - DefData pardefs -> failure x + DefData datadefs -> failure x DefTrans flagdefs -> failure x DefPar pardefs -> failure x DefOper defs -> failure x @@ -113,6 +112,17 @@ transFunDef x = case x of FunDef ids exp -> failure x +transDataDef :: DataDef -> Result +transDataDef x = case x of + DataDef id dataconstrs -> failure x + + +transDataConstr :: DataConstr -> Result +transDataConstr x = case x of + DataId id -> failure x + DataQId id0 id -> failure x + + transParDef :: ParDef -> Result transParDef x = case x of ParDef id parconstrs -> failure x -- cgit v1.2.3