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/AbsGF.hs | |
| parent | 8ed7749eb674e3afe4485cfb3d4d50485a2cf097 (diff) | |
Putting def definitions in place.
Diffstat (limited to 'src/GF/Source/AbsGF.hs')
| -rw-r--r-- | src/GF/Source/AbsGF.hs | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/src/GF/Source/AbsGF.hs b/src/GF/Source/AbsGF.hs index 16d342dd8..ce307ee17 100644 --- a/src/GF/Source/AbsGF.hs +++ b/src/GF/Source/AbsGF.hs @@ -2,12 +2,10 @@ module AbsGF where import Ident --H --- Haskell module generated by the BNF converter, except for --H +-- Haskell module generated by the BNF converter, except --H -- newtype Ident = Ident String deriving (Eq,Ord,Show) --H - newtype LString = LString String deriving (Eq,Ord,Show) - data Grammar = Gr [ModDef] deriving (Eq,Ord,Show) @@ -66,7 +64,7 @@ data TopDef = DefCat [CatDef] | DefFun [FunDef] | DefDef [Def] - | DefData [ParDef] + | DefData [DataDef] | DefTrans [FlagDef] | DefPar [ParDef] | DefOper [Def] @@ -89,6 +87,15 @@ data FunDef = FunDef [Ident] Exp deriving (Eq,Ord,Show) +data DataDef = + DataDef Ident [DataConstr] + deriving (Eq,Ord,Show) + +data DataConstr = + DataId Ident + | DataQId Ident Ident + deriving (Eq,Ord,Show) + data ParDef = ParDef Ident [ParConstr] | ParDefIndir Ident Ident |
