msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

remove the comments about the meta variables. They are not relevant anymore

Browse Source
This commit is contained in:
krasimir
2008-06-23 14:32:55 +00:00
parent 893a929c28
commit 8cdad08ad9
1 changed files with 3 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src-3.0/PGF/Data.hs
View File

@@ -50,17 +50,14 @@ data Literal =
-- | The tree is an evaluated expression in the abstract syntax -- | The tree is an evaluated expression in the abstract syntax
-- of the grammar. The type is especially restricted to not -- of the grammar. The type is especially restricted to not
-- allow unapplied lambda abstractions. The meta variables -- allow unapplied lambda abstractions. The tree is used directly
-- also does not have indices because both the parser and -- from the linearizer and is produced directly from the parser.
-- the linearizer consider all meta variable occurrences as
-- distinct. The tree is used directly from the linearizer
-- and is produced directly from the parser.
data Tree = data Tree =
Abs [CId] Tree -- ^ lambda abstraction. The list of variables is non-empty Abs [CId] Tree -- ^ lambda abstraction. The list of variables is non-empty
| Var CId -- ^ variable | Var CId -- ^ variable
| Fun CId [Tree] -- ^ function application | Fun CId [Tree] -- ^ function application
| Lit Literal -- ^ literal | Lit Literal -- ^ literal
| Meta Int -- ^ meta variable. Each occurency of 'Meta' means a different metavariable | Meta Int -- ^ meta variable
deriving (Show, Eq, Ord) deriving (Show, Eq, Ord)
-- | An expression represents a potentially unevaluated expression -- | An expression represents a potentially unevaluated expression