From 8abf80dc4d4aa9c6a783f41346e44a5012649d03 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Tue, 17 May 2005 13:04:35 +0000
Subject: Changed CFGM format and printer to allow constants in profiles.

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

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

diff --git a/src/GF/CFGM/AbsCFG.hs b/src/GF/CFGM/AbsCFG.hs
index be50d204b..063b96802 100644
--- a/src/GF/CFGM/AbsCFG.hs
+++ b/src/GF/CFGM/AbsCFG.hs
@@ -17,7 +17,7 @@ data Flag =
   deriving (Eq,Ord,Show)
 
 data Rule =
-   Rule Fun Profile Category [Symbol]
+   Rule Fun Profiles Category [Symbol]
   deriving (Eq,Ord,Show)
 
 data Fun =
@@ -25,12 +25,13 @@ data Fun =
  | Coerce
   deriving (Eq,Ord,Show)
 
-data Profile =
-   Profile [Ints]
+data Profiles =
+   Profiles [Profile]
   deriving (Eq,Ord,Show)
 
-data Ints =
-   Ints [Integer]
+data Profile =
+   UnifyProfile [Integer]
+ | ConstProfile Ident
   deriving (Eq,Ord,Show)
 
 data Symbol =
-- 
cgit v1.2.3