don't count app nodes in term size

2011-09-26 13:56:39 +00:00
parent 2fd498449f
commit 5163e3f478
2 changed files with 2 additions and 2 deletions
--- a/src/compiler/GF/Grammar/Analyse.hs
+++ b/src/compiler/GF/Grammar/Analyse.hs
@@ -80,7 +80,7 @@ sizeConstant sgr t = err (const 0) id $ do
 -- ground terms count as 1, i.e. as "one work" each
 sizeTerm :: Term -> Int
 sizeTerm t = case t of
-  App c a      -> 1 + sizeTerm c + sizeTerm a 
+  App c a      -> sizeTerm c + sizeTerm a  -- app nodes don't count 
  Abs _ _ b    -> 2 + sizeTerm b
  Prod _ _ a b -> 2 + sizeTerm a + sizeTerm b 
  S c a        -> 1 + sizeTerm c + sizeTerm a