1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
-- a portable format for FCFG (Peter Ljunglöf's MCFG modified by Krasimir Anglelov)
-- Aarne Ranta September 2006
FGr. FGrammar ::= [FRule] ;
FR. FRule ::= Abstract ":=" [[FSymbol]] ;
Abs. Abstract ::= FCat "->" [FCat] "." Name ;
FSymCat. FSymbol ::= "(" FCat Integer Integer ")" ;
FSymTok. FSymbol ::= String ;
FC. FCat ::= "(" Integer Ident "[" [[PathEl]] "]" "[" [PathTerm] "]" ")" ;
PLabel. PathEl ::= Label ;
PTerm. PathEl ::= Term ;
PtT. PathTerm ::= "(" [PathEl] "," Term ")" ;
Nm. Name ::= Ident "[" [Profile] "]" ;
Unify. Profile ::= "[" [Integer] "]" ;
Const. Profile ::= Forest ;
FMeta. Forest ::= "?" ;
FNode. Forest ::= "(" Ident [[Forest]] ")" ;
FString. Forest ::= String ;
FInt. Forest ::= Integer ;
FFloat. Forest ::= Double ;
Arg. Term ::= "(" Integer Ident [PathEl] ")" ;
Constr. Term ::= "(" CIdent "-" [Term] ")" ;
Rec. Term ::= "[" [Assoc] "]" ;
Proj. Term ::= "(" Term "." Label ")" ;
Tbl. Term ::= "[-" [Case] "-]" ;
Select. Term ::= "(" Term "!" Term ")" ;
Vars. Term ::= "[|" [Term] "|]" ;
Concat. Term ::= "(" Term "++" Term ")" ;
Tok. Term ::= String ;
Empty. Term ::= "(" ")" ;
Cas. Case ::= Term "=>" Term ;
Ass. Assoc ::= Label "=" Term ;
L. Label ::= Ident ;
LV. Label ::= "$" Integer ;
CIQ. CIdent ::= Ident "." Ident ;
terminator FRule ";" ;
terminator [FSymbol] "|" ;
terminator FSymbol "" ;
terminator FCat "" ;
terminator [Forest] "," ;
terminator Forest "" ;
terminator PathTerm "" ;
terminator Profile "" ;
terminator Integer "" ;
terminator Term "," ;
terminator Assoc "," ;
terminator Case "," ;
terminator [PathEl] "," ;
terminator PathEl "." ;
-- type FGrammar = [FRule]
-- data FRule = FRule Abstract (Array Int (Array Int FSymbol))
-- data Abstract = Abs FCat [FCat] Name
-- data FSymbol = FSymCat FCat Int Int
-- | FSymTok String
-- data FCat = FCat Int Ident [Path] [(Path,Term)]
-- newtype Path = Path [Either Label Term]
-- type Name = Name Ident [Profile]
-- type Label = AbsGFC.Label
-- data Profile = Unify [Int] | Constant SyntaxForest
-- SyntaxForest = FMeta
-- | FNode Ident [[SyntaxForest]]
-- | FString String
-- | FInt Integer
-- | FFloat Double
{-
data Term
= Arg Int Ident Path -- ^ argument variable, the 'Path' is a path
-- pointing into the term
| Constr :^ [Term] -- ^ constructor
| Rec [(Label, Term)] -- ^ record
| Term :. Label -- ^ record projection
| Tbl [(Term, Term)] -- ^ table of patterns\/terms
| Term :! Term -- ^ table selection
| Variants [Term] -- ^ variants
| Term :++ Term -- ^ concatenation
| Token String -- ^ single token
| Empty -- ^ empty string
-}
-- type FGrammar = FCFGrammar FCat Name Token
-- type FRule = FCFRule FCat Name Token
-- type FCFGrammar cat name tok = [FCFRule cat name tok]
-- data FCFRule cat name tok =
-- FRule (Abstract cat name) (Array FLabel (Array FPointPos (FSymbol cat tok)))
-- data Abstract cat name = Abs cat [cat] name
-- data FSymbol cat tok = FSymCat cat FLabel Int | FSymTok tok
-- type FLabel = Int
-- type FPointPos = Int
-- data FCat = FCat Int SCat [SPath] [(SPath,STerm)]
-- newtype Path c t = Path [Either Label (Term c t)]
-- type SCat = Ident.Ident
-- type Fun = Ident.Ident
-- type SPath = Path SCat Token
-- type STerm = Term SCat Token
-- type Name = NameProfile Fun
-- data NameProfile a = Name a [Profile (SyntaxForest a)]
-- SyntaxForest n = FMeta
-- | FNode n [[SyntaxForest n]]
-- | FString String
-- | FInt Integer
-- | FFloat Double
-- type Token = String
-- type Label = AbsGFC.Label
-- data Profile a = Unify [Int] | Constant a
-- type Constr = AbsGFC.CIdent
{-
data Term c t
= Arg Int c (Path c t) -- ^ argument variable, the 'Path' is a path
-- pointing into the term
| Constr :^ [Term c t] -- ^ constructor
| Rec [(Label, Term c t)] -- ^ record
| Term c t :. Label -- ^ record projection
| Tbl [(Term c t, Term c t)] -- ^ table of patterns\/terms
| Term c t :! Term c t -- ^ table selection
| Variants [Term c t] -- ^ variants
| Term c t :++ Term c t -- ^ concatenation
| Token t -- ^ single token
| Empty -- ^ empty string
-}
|
