UsageEnv leads to big thunk accumulation, even when LinearTypes is disabled
The definition of UsageEnv
is
data UsageEnv = UsageEnv (NameEnv Mult) Bool
the NameEnv
field is lazy. This is when updated without being forced in supEU
.
I am a bit loathe to make this field strict, because I don't understand why this field is necessary in a program which doesn't enable LinearTypes
, could @monoidal perhaps suggest a suitable way to avoid this cost?