Simon Peyton Jones pushed to branch wip/T26425 at Glasgow Haskell Compiler / GHC

Commits:

1 changed file:

Changes:

  • compiler/GHC/Core/Opt/Simplify/Utils.hs
    ... ... @@ -1032,8 +1032,8 @@ interestingArg env e = go env 0 e
    1032 1032
            | n > 0         = NonTrivArg -- Saturated or unknown call
    
    1033 1033
            | otherwise  -- n==0, no value arguments; look for an interesting unfolding
    
    1034 1034
            = case idUnfolding v of
    
    1035
    -           OtherCon [] -> NonTrivArg   -- It's evaluated, but that's all we know
    
    1036
    -           OtherCon _  -> ValueArg     -- Evaluated and we know it isn't these constructors
    
    1035
    +           OtherCon [] -> TrivArg      -- It's evaluated, but that's all we know
    
    1036
    +           OtherCon _  -> NonTrivArg   -- Evaluated and we know it isn't these constructors
    
    1037 1037
                   -- See Note [OtherCon and interestingArg]
    
    1038 1038
                DFunUnfolding {} -> ValueArg   -- We konw that idArity=0
    
    1039 1039
                CoreUnfolding{ uf_cache = cache }