Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/9aa66e06f220ce6318d9f72e3112912da7dc4c45

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

commit 9aa66e06f220ce6318d9f72e3112912da7dc4c45
Author: Simon Peyton Jones <[email protected]>
Date:   Thu Sep 29 16:06:17 2011 +0100

    Eliminate alleged optimisation that means we bogusly did NoGen
    
    Fixes Trac #5514.  The fix is simply to delete some code.

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

 compiler/typecheck/TcBinds.lhs |    4 +---
 1 files changed, 1 insertions(+), 3 deletions(-)

diff --git a/compiler/typecheck/TcBinds.lhs b/compiler/typecheck/TcBinds.lhs
index fa292a6..4d2afd2 100644
--- a/compiler/typecheck/TcBinds.lhs
+++ b/compiler/typecheck/TcBinds.lhs
@@ -1226,9 +1226,7 @@ decideGeneralisationPlan
    -> [LHsBind Name] -> TcSigFun -> GeneralisationPlan
 decideGeneralisationPlan dflags type_env bndr_names lbinds sig_fn
   | bang_pat_binds                         = NoGen
-  | Just sig <- one_funbind_with_sig binds = if null (sig_tvs sig) && null 
(sig_theta sig)
-                                             then NoGen              -- 
Optimise common case
-                                             else CheckGen sig
+  | Just sig <- one_funbind_with_sig binds = CheckGen sig
   | mono_local_binds                      = NoGen
   | otherwise                              = InferGen mono_restriction 
closed_flag
 



_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to