Eliminate alleged optimisation that means we bogusly did NoGen

Fixes Trac #5514. The fix is simply to delete some code.
dmpots · Sep 29, 2011 · 9aa66e0 · 9aa66e0
1 parent eaae6ca
commit 9aa66e0
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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