Minor performance note about IdInfo.
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Mon, 6 Jun 2016 17:18:57 +0000 (10:18 -0700)
committerEdward Z. Yang <ezyang@cs.stanford.edu>
Thu, 9 Jun 2016 04:27:17 +0000 (21:27 -0700)
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
compiler/basicTypes/IdInfo.hs

index 2113cd4..97d4186 100644 (file)
@@ -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