Changed CFGM format and printer to allow constants in profiles.

1 files changed, 7 insertions, 4 deletions

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;