diff options
| author | aarne <unknown> | 2003-12-09 16:39:24 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-12-09 16:39:24 +0000 |
| commit | 08c9a2ab8cf7b77a5c0392f5f8e9643e39c89c5b (patch) | |
| tree | 56add96ffe8436f3fe920deb4bc7da320bc19e5d /src/GF/Canon | |
| parent | 8e637feb793364134d469cb7d1e68605aab2c2ea (diff) | |
Introduced output of stripped format gfcm.
Diffstat (limited to 'src/GF/Canon')
| -rw-r--r-- | src/GF/Canon/GFC.cf | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/GF/Canon/GFC.cf b/src/GF/Canon/GFC.cf index 1816a77ad..4289b4c24 100644 --- a/src/GF/Canon/GFC.cf +++ b/src/GF/Canon/GFC.cf @@ -8,9 +8,9 @@ Gr. Canon ::= [Module] ; Mod. Module ::= ModType "=" Extend Open "{" [Flag] [Def] "}" ; -MTAbs. ModType ::= "abstract" Ident ; -MTCnc. ModType ::= "concrete" Ident "of" Ident ; -MTRes. ModType ::= "resource" Ident ; +MTAbs. ModType ::= "abstract" Ident ; +MTCnc. ModType ::= "concrete" Ident "of" Ident ; +MTRes. ModType ::= "resource" Ident ; MTTrans. ModType ::= "transfer" Ident ":" Ident "->" Ident ; separator Module "" ; @@ -18,8 +18,8 @@ separator Module "" ; Ext. Extend ::= Ident "**" ; NoExt. Extend ::= ; -NoOpens. Open ::= ; Opens. Open ::= "open" [Ident] "in" ; +NoOpens. Open ::= ; -- judgements @@ -30,15 +30,15 @@ AbsDCat. Def ::= "cat" Ident "[" [Decl] "]" "=" [CIdent] ; AbsDFun. Def ::= "fun" Ident ":" Exp "=" Exp ; AbsDTrans. Def ::= "transfer" Ident "=" Exp ; -ResDPar. Def ::= "param" Ident "=" [ParDef] ; -ResDOper. Def ::= "oper" Ident ":" CType "=" Term ; +ResDPar. Def ::= "param" Ident "=" [ParDef] ; +ResDOper. Def ::= "oper" Ident ":" CType "=" Term ; -CncDCat. Def ::= "lincat" Ident "=" CType "=" Term ";" Term ; -CncDFun. Def ::= "lin" Ident ":" CIdent "=" "\\" [ArgVar] "->" Term ";" Term ; +CncDCat. Def ::= "lincat" Ident "=" CType "=" Term ";" Term ; +CncDFun. Def ::= "lin" Ident ":" CIdent "=" "\\" [ArgVar] "->" Term ";" Term ; -AnyDInd. Def ::= Ident Status "in" Ident ; +AnyDInd. Def ::= Ident Status "in" Ident ; -ParD. ParDef ::= Ident [CType] ; +ParD. ParDef ::= Ident [CType] ; -- the canonicity of an indirected constant |