compiler/basicTypes

Contents:

• compiler/basicTypes/Avail.hs
  • Note [Representing fields in AvailInfo]
• compiler/basicTypes/BasicTypes.hs
  • Note [Precedence in types]
  • Note [Type operator precedence]
  • Note [LoopBreaker OccInfo]
  • Note [TailCallInfo]
  • Note [Pragma source text]
  • Note [Literal source text]
  • Note [InlinePragma]
  • Note [inl_inline and inl_act]
  • Note [CONLIKE pragma]
  • Note [Competing activations]
• compiler/basicTypes/DataCon.hs
  • Note [Data Constructor Naming]
  • Note [Data constructor workers and wrappers]
  • Note [The need for a wrapper]
  • Note [The stupid context]
  • Note [TyVarBinders in DataCons]
  • Note [Existential coercion variables]
  • Note [DataCon arities]
  • Note [DataCon user type variable binders]
  • Note [Bangs on data constructor arguments]
  • Note [Data con representation]
• compiler/basicTypes/Demand.hs
  • Note [Exceptions and strictness]
  • Note [Demand on case-alternative binders]
  • Note [Don’t optimise UProd(Used) to Used]
  • Note [Used should win]
  • Note [Strict demands]
  • Note [Dealing with call demands]
  • Note [Trimming a demand to a type]
  • Note [Threshold demands]
  • Note [Replicating polymorphic demands]
  • Note [defaultDmd and resTypeArgDmd]
  • Note [Nature of result demand]
  • Note [Asymmetry of ‘both’ for DmdType and DmdResult]
  • Note [The need for BothDmdArg]
  • Note [Demands from unsaturated function calls]
  • Note [Default demand on free variables]
  • Note [Always analyse in virgin pass]
  • Note [Analyzing with lazy demand and lambdas]
  • Note [Analysing with absent demand]
  • Note [Demand transformer for a dictionary selector]
  • Note [Computing one-shot info]
  • Note [Unsaturated applications]
  • Note [Killing usage information]
  • Note [HyperStr and Use demands]
• compiler/basicTypes/FieldLabel.hs
  • Note [Why selector names include data constructors]
• compiler/basicTypes/Id.hs
  • Note [Free type variables]
  • Note [Exported LocalIds]
  • Note [Levity-polymorphic Ids]
  • Note [Primop wrappers]
  • Note [transferPolyIdInfo]
• compiler/basicTypes/IdInfo.hs
  • Note [Specialisations and RULES in IdInfo]
  • Note [Levity info]
• compiler/basicTypes/Lexeme.hs
  • Note [Classification of generated names]
• compiler/basicTypes/Literal.hs
  • Note [Integer literals]
  • Note [Natural literals]
  • Note [String literals]
  • Note [Word/Int underflow/overflow]
  • Note [Printing of literals in Core]
  • Note [Rubbish literals]
• compiler/basicTypes/MkId.hs
  • Note [Wired-in Ids]
  • Note [ghcPrimIds (aka pseudoops)]
  • Note [magicIds]
  • Note [Wrappers for data instance tycons]
  • Note [Newtype datacons]
  • Note [Compulsory newtype unfolding]
  • Note [Inline partially-applied constructor wrappers]
  • Note [Activation for data constructor wrappers]
  • Note [Bangs on imported data constructors]
  • Note [Data con wrappers and unlifted types]
  • Note [Data con wrappers and GADT syntax]
  • Note [HsImplBangs for newtypes]
  • Note [Unpacking GADTs and existentials]
  • Note [Unpack one-wide fields]
  • Note [Recursive unboxing]
  • Note [Dict funs and default methods]
  • Note [Unsafe coerce magic]
  • Note [seqId magic]
  • Note [User-defined RULES for seq]
  • Note [lazyId magic]
  • Note [noinlineId magic]
  • Note [The oneShot function]
  • Note [magicDictId magic]
  • Note [evaldUnfoldings]
• compiler/basicTypes/Module.hs
  • Note [The identifier lexicon]
  • Note [UnitId to InstalledUnitId improvement]
  • Note [Wired-in packages]
  • Note [Representation of module/name variables]
  • Note [ModuleEnv performance and determinism]
• compiler/basicTypes/NameCache.hs
  • Note [The Name Cache]
  • Note [Built-in syntax and the OrigNameCache]
• compiler/basicTypes/NameEnv.hs
  • Note [depAnal determinism]
• compiler/basicTypes/OccName.hs
  • Note [Suppressing uniques in OccNames]
  • Note [The Unique of an OccName]
  • Note [TidyOccEnv]
  • Note [Tidying multiple names at once]
• compiler/basicTypes/PatSyn.hs
  • Note [Pattern synonym signature contexts]
  • Note [Pattern synonym result type]
  • Note [Pattern synonym representation]
  • Note [Matchers and builders for pattern synonyms]
  • Note [Builder for pattern synonyms with unboxed type]
  • Note [Pattern synonyms and the data type Type]
• compiler/basicTypes/RdrName.hs
  • Note [Local bindings with Exact Names]
  • Note [GlobalRdrElt provenance]
  • Note [Parents]
  • Note [Parents for record fields]
  • Note [Combining parents]
  • Note [GRE filtering]
  • Note [GlobalRdrEnv shadowing]
  • Note [Choosing the best import declaration]
• compiler/basicTypes/SrcLoc.hs
  • Note [HasSrcSpan Typeclass]
• compiler/basicTypes/Unique.hs
  • Note [Unique Determinism]
  • Note [Unique Determinism and code generation]
  • Note [No Ord for Unique]
• compiler/basicTypes/Var.hs
  • Note [Evidence: EvIds and CoVars]
  • Note [Kind and type variables]
  • Note [ExportFlag on binders]
  • Note [GlobalId/LocalId]
  • Note [AnonArgFlag vs. ForallVisFlag]
• compiler/basicTypes/VarEnv.hs
  • Note [Eta expansion]