Andreas Klebinger pushed to branch wip/andreask/spec_tyfams at Glasgow Haskell Compiler / GHC

Commits:

1 changed file:

Changes:

  • compiler/GHC/Core/Opt/Specialise.hs
    ... ... @@ -3179,7 +3179,7 @@ interestingDict :: CoreExpr -> Type -> Bool
    3179 3179
     interestingDict arg arg_ty
    
    3180 3180
       -- No benefit to specalizing for a ~# b I believe
    
    3181 3181
       | not (isEqPred arg_ty) = False
    
    3182
    -  -- | not (typeDeterminesValue arg_ty) = False   -- See Note [Type determines value]
    
    3182
    +  -- |  not (typeDeterminesValue arg_ty) = False   -- See Note [Type determines value]
    
    3183 3183
       | otherwise                        = go arg
    
    3184 3184
       where
    
    3185 3185
         go (Var v)               =  hasSomeUnfolding (idUnfolding v)