diff options
| author | aarne <unknown> | 2003-10-01 12:46:44 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-01 12:46:44 +0000 |
| commit | c985dab565416251d9973f5b3bafe4d9d205b249 (patch) | |
| tree | ada69513d8a20338af8058d35ce2bc75e5495d4b /src/GF/Source/SkelGF.hs | |
| parent | 8ed7749eb674e3afe4485cfb3d4d50485a2cf097 (diff) | |
Putting def definitions in place.
Diffstat (limited to 'src/GF/Source/SkelGF.hs')
| -rw-r--r-- | src/GF/Source/SkelGF.hs | 16 |
1 files changed, 13 insertions, 3 deletions
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 |
