From 75d228629a267da1be6c26a6fb13a14f3da0f7c2 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Mon, 21 Mar 2005 13:27:04 +0000
Subject: Build cfgm files using the nondeterministic conversion. Allow
 coercions in cfgm rule functions and remove the name.

---
 src/GF/CFGM/AbsCFG.hs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/GF/CFGM/AbsCFG.hs')

diff --git a/src/GF/CFGM/AbsCFG.hs b/src/GF/CFGM/AbsCFG.hs
index d66289ae9..c605ce212 100644
--- a/src/GF/CFGM/AbsCFG.hs
+++ b/src/GF/CFGM/AbsCFG.hs
@@ -1,4 +1,3 @@
-
 module AbsCFG where
 
 -- Haskell module generated by the BNF converter
@@ -18,7 +17,12 @@ data Flag =
   deriving (Eq,Ord,Show)
 
 data Rule =
-   Rule Ident Name Profile Category [Symbol]
+   Rule Fun Profile Category [Symbol]
+  deriving (Eq,Ord,Show)
+
+data Fun =
+   Cons Ident
+ | Coerce
   deriving (Eq,Ord,Show)
 
 data Profile =
@@ -34,10 +38,6 @@ data Symbol =
  | TermS String
   deriving (Eq,Ord,Show)
 
-data Name =
-   Name SingleQuoteString
-  deriving (Eq,Ord,Show)
-
 data Category =
    Category SingleQuoteString
   deriving (Eq,Ord,Show)
-- 
cgit v1.2.3