summaryrefslogtreecommitdiff
path: root/src/GF/Source/AbsGF.hs
diff options
context:
space:
mode:
authoraarne <unknown>2003-10-01 12:46:44 +0000
committeraarne <unknown>2003-10-01 12:46:44 +0000
commitc985dab565416251d9973f5b3bafe4d9d205b249 (patch)
treeada69513d8a20338af8058d35ce2bc75e5495d4b /src/GF/Source/AbsGF.hs
parent8ed7749eb674e3afe4485cfb3d4d50485a2cf097 (diff)
Putting def definitions in place.
Diffstat (limited to 'src/GF/Source/AbsGF.hs')
-rw-r--r--src/GF/Source/AbsGF.hs15
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