diff options
| author | bringert <unknown> | 2005-05-17 13:04:35 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-05-17 13:04:35 +0000 |
| commit | 8abf80dc4d4aa9c6a783f41346e44a5012649d03 (patch) | |
| tree | 6b03cbbffa6b435b57fc6f60a24f10a92ad6a3cd /src/GF/CFGM/AbsCFG.hs | |
| parent | 31044ec728d3a9a56a660fdd32d880d13dc9ffbf (diff) | |
Changed CFGM format and printer to allow constants in profiles.
Diffstat (limited to 'src/GF/CFGM/AbsCFG.hs')
| -rw-r--r-- | src/GF/CFGM/AbsCFG.hs | 11 |
1 files changed, 6 insertions, 5 deletions
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 = |