From baa9bcd9d072277261d0bf85c9623a0db9e8f9d6 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 22 Sep 2011 07:40:19 +0000 Subject: documented the ss command --- src/compiler/GF/Grammar/Analyse.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/compiler/GF/Grammar') diff --git a/src/compiler/GF/Grammar/Analyse.hs b/src/compiler/GF/Grammar/Analyse.hs index b8c9f5042..8d41d1713 100644 --- a/src/compiler/GF/Grammar/Analyse.hs +++ b/src/compiler/GF/Grammar/Analyse.hs @@ -106,7 +106,7 @@ sizeInfo i = case i of ResOverload is fs -> 1 + sum [sizeTerm ty + sizeTerm tr | (L _ ty, L _ tr) <- fs] CncCat mty mte mtf -> 1 + msize mty -- ignoring lindef and printname CncFun mict mte mtf -> 1 + msize mte -- ignoring type and printname - AnyInd b f -> 0 + AnyInd b f -> -1 -- just to ignore these in the size _ -> 0 where msize mt = case mt of @@ -121,7 +121,7 @@ sizesModule :: SourceModule -> (Int, [(Ident,Int)]) sizesModule (_,m) = let js = Map.toList (jments m) - tb = [(i,sizeInfo j) | (i,j) <- js] + tb = [(i,k) | (i,j) <- js, let k = sizeInfo j, k >= 0] in (length tb + sum (map snd tb),tb) -- the size of a grammar -- cgit v1.2.3