Simon Peyton Jones pushed to branch wip/T26425 at Glasgow Haskell Compiler / GHC
Commits:
-
ec080d05
by Simon Peyton Jones at 2025-11-04T23:45:25+00:00
1 changed file:
Changes:
| ... | ... | @@ -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 }
|