diff options
| author | krasimir <krasimir@chalmers.se> | 2008-10-15 07:47:57 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-10-15 07:47:57 +0000 |
| commit | 5f33e0bda955c66aa81356c6636ec65d9a40bc2e (patch) | |
| tree | 2500b5ba571901235a944a4a832532f17aeb98ca /src/PGF/Data.hs | |
| parent | 57ee52103dcccbcda75b895ea399e230e18d0a92 (diff) | |
store the total number of PMCFG categories in the PGF file
Diffstat (limited to 'src/PGF/Data.hs')
| -rw-r--r-- | src/PGF/Data.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/PGF/Data.hs b/src/PGF/Data.hs index 224059ed6..f50a49c31 100644 --- a/src/PGF/Data.hs +++ b/src/PGF/Data.hs @@ -134,6 +134,7 @@ data ParserInfo , sequences :: Array SeqId FSeq , productions :: IntMap.IntMap (Set.Set Production) , startCats :: Map.Map CId [FCat] + , totalCats :: {-# UNPACK #-} !FCat } |