From b447cf1a047a6f6e1c4945e809bffa57c88a08af Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 13 Dec 2007 20:19:47 +0000
Subject: new GFCC concrete syntax in place everywhere

---
 src/GF/GFCC/AbsGFCC.hs | 82 --------------------------------------------------
 1 file changed, 82 deletions(-)
 delete mode 100644 src/GF/GFCC/AbsGFCC.hs

(limited to 'src/GF/GFCC/AbsGFCC.hs')

diff --git a/src/GF/GFCC/AbsGFCC.hs b/src/GF/GFCC/AbsGFCC.hs
deleted file mode 100644
index e3b2582be..000000000
--- a/src/GF/GFCC/AbsGFCC.hs
+++ /dev/null
@@ -1,82 +0,0 @@
-module GF.GFCC.AbsGFCC where
-
--- Haskell module generated by the BNF converter
-
-newtype CId = CId String deriving (Eq,Ord,Show)
-data Grammar =
-   Grm CId [CId] [Flag] Abstract [Concrete]
-  deriving (Eq,Ord,Show)
-
-data Abstract =
-   Abs [Flag] [FunDef] [CatDef]
-  deriving (Eq,Ord,Show)
-
-data Concrete =
-   Cnc CId [Flag] [LinDef] [LinDef] [LinDef] [LinDef] [LinDef] [LinDef]
-  deriving (Eq,Ord,Show)
-
-data Flag =
-   Flg CId String
-  deriving (Eq,Ord,Show)
-
-data CatDef =
-   Cat CId [Hypo]
-  deriving (Eq,Ord,Show)
-
-data FunDef =
-   Fun CId Type Exp
-  deriving (Eq,Ord,Show)
-
-data LinDef =
-   Lin CId Term
-  deriving (Eq,Ord,Show)
-
-data Type =
-   DTyp [Hypo] CId [Exp]
-  deriving (Eq,Ord,Show)
-
-data Exp =
-   DTr [CId] Atom [Exp]
- | EEq [Equation]
-  deriving (Eq,Ord,Show)
-
-data Atom =
-   AC CId
- | AS String
- | AI Integer
- | AF Double
- | AM Integer
- | AV CId
-  deriving (Eq,Ord,Show)
-
-data Term =
-   R [Term]
- | P Term Term
- | S [Term]
- | K Tokn
- | V Int --H
- | C Int --H
- | F CId
- | FV [Term]
- | W String Term
- | TM
- | RP Term Term
-  deriving (Eq,Ord,Show)
-
-data Tokn =
-   KS String
- | KP [String] [Variant]
-  deriving (Eq,Ord,Show)
-
-data Variant =
-   Var [String] [String]
-  deriving (Eq,Ord,Show)
-
-data Hypo =
-   Hyp CId Type
-  deriving (Eq,Ord,Show)
-
-data Equation =
-   Equ [Exp] Exp
-  deriving (Eq,Ord,Show)
-
-- 
cgit v1.2.3