GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-04 16:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Changed CFGM format and printer to allow constants in profiles.

Browse Source
This commit is contained in:
bringert
2005-05-17 13:04:35 +00:00
parent e07b5ff6c1
commit dd872c2df3
7 changed files with 148 additions and 132 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/GF/CFGM/CFG.cf
View File

@@ -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;