Commit acb9e85c authored by Edward Z. Yang's avatar Edward Z. Yang
Browse files

Minor performance note about IdInfo.

Signed-off-by: default avatarEdward Z. Yang <>
parent 8f6d2927
......@@ -198,6 +198,10 @@ pprIdDetails other = brackets (pp other)
-- Most of the 'IdInfo' gives information about the value, or definition, of
-- the 'Id', independent of its usage. Exceptions to this
-- are 'demandInfo', 'occInfo', 'oneShotInfo' and 'callArityInfo'.
-- Performance note: when we update 'IdInfo', we have to reallocate this
-- entire record, so it is a good idea not to let this data structure get
-- too big.
data IdInfo
= IdInfo {
arityInfo :: !ArityInfo, -- ^ 'Id' arity
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