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/CFG.cf | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'src/GF/CFGM/CFG.cf')

diff --git a/src/GF/CFGM/CFG.cf b/src/GF/CFGM/CFG.cf
index af55d6401..fa722f4a4 100644
--- a/src/GF/CFGM/CFG.cf
+++ b/src/GF/CFGM/CFG.cf
@@ -8,16 +8,19 @@ separator Grammar "";
 StartCat. Flag ::= "startcat" Category;
 terminator Flag ";";
 
-Rule. Rule ::= Fun ":" Profile "." Category "->" [Symbol];
+Rule. Rule ::= Fun ":" Profiles "." Category "->" [Symbol];
 terminator Rule ";";
 
 Cons. Fun ::= Ident ;
 Coerce. Fun ::= "_" ;
 
-Profile. Profile ::= "[" [Ints] "]";
+Profiles. Profiles ::= "[" [Profile] "]";
+
+separator Profile ",";
+
+UnifyProfile. Profile ::= "[" [Integer] "]";
+ConstProfile. Profile ::= Ident ;
 
-Ints. Ints ::= "[" [Integer] "]";
-separator Ints ",";
 separator Integer ",";
 
 CatS. Symbol ::= Category;
-- 
cgit v1.2.3