[commit: ghc] wip/nested-cpr: Check mAX_CPR_SIZE in dmdAnalVarApp (80e8556)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/nested-cpr
Link       : http://ghc.haskell.org/trac/ghc/changeset/80e8556a3c0fdbe75d77dd42a3e062a7e422b019/ghc

>---------------------------------------------------------------

commit 80e8556a3c0fdbe75d77dd42a3e062a7e422b019
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Thu Dec 5 18:01:34 2013 +0000

    Check mAX_CPR_SIZE in dmdAnalVarApp


>---------------------------------------------------------------

80e8556a3c0fdbe75d77dd42a3e062a7e422b019
 compiler/stranal/DmdAnal.lhs |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/compiler/stranal/DmdAnal.lhs b/compiler/stranal/DmdAnal.lhs
index d5bf8a0..3c613b2 100644
--- a/compiler/stranal/DmdAnal.lhs
+++ b/compiler/stranal/DmdAnal.lhs
@@ -522,6 +522,8 @@ dmdAnalVarApp env dmd fun args
   | Just con <- isDataConWorkId_maybe fun  -- Data constructor
   , isVanillaDataCon con
   , n_val_args == dataConRepArity con      -- Saturated
+  , dataConRepArity con > 0
+  , dataConRepArity con < 10 -- TODO: Sync with mAX_CPR_SIZE in MkId
   , let cpr_info = cprConRes (dataConTag con) arg_rets
         res_ty = foldl bothDmdType (DmdType emptyDmdEnv [] cpr_info) arg_tys
   = -- pprTrace "dmdAnalVarApp" (vcat [ ppr con, ppr args, ppr n_val_args, ppr cxt_ds