Commit 9aa66e06 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Eliminate alleged optimisation that means we bogusly did NoGen

Fixes Trac #5514.  The fix is simply to delete some code.
parent eaae6cae
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment