summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2007-01-29 12:20:31 +0000
committerbringert <bringert@cs.chalmers.se>2007-01-29 12:20:31 +0000
commitfef4d56e7106fcbe7bde52afa2016a71d3a544e6 (patch)
treeb81295e20b17ca8e72bf5e79ed8c0579bbb4774c /src
parent2a25794c8f025f5ce6452159d0910ce289c2a266 (diff)
Document CFTerm constructors.
Diffstat (limited to 'src')
-rw-r--r--src/GF/Speech/TransformCFG.hs14
1 files changed, 7 insertions, 7 deletions
diff --git a/src/GF/Speech/TransformCFG.hs b/src/GF/Speech/TransformCFG.hs
index bb6f16243..300f9654f 100644
--- a/src/GF/Speech/TransformCFG.hs
+++ b/src/GF/Speech/TransformCFG.hs
@@ -53,13 +53,13 @@ import qualified Data.Set as Set
type CFRule_ = CFRule Cat_ CFTerm Token
data CFTerm
- = CFObj Fun [CFTerm]
- | CFAbs Int CFTerm
- | CFApp CFTerm CFTerm
- | CFRes Int
- | CFVar Int
- | CFConst String
- | CFMeta String
+ = CFObj Fun [CFTerm] -- ^ an abstract syntax function with arguments
+ | CFAbs Int CFTerm -- ^ A lambda abstraction. The Int is the variable id.
+ | CFApp CFTerm CFTerm -- ^ Application
+ | CFRes Int -- ^ The result of the n:th non-terminal
+ | CFVar Int -- ^ A lambda-bound variable
+ | CFConst String
+ | CFMeta String -- ^ A metavariable
deriving (Eq,Ord,Show)
type Cat_ = String