compiler/iface

Contents:

• compiler/iface/BinIface.hs
  • Note [Symbol table representation of names]
• compiler/iface/BuildTyCl.hs
  • Note [Class newtypes and equality predicates]
• compiler/iface/IfaceSyn.hs
  • Note [Versioning of instances]
  • Note [Empty case alternatives]
  • Note [Expose recursive functions]
  • Note [IdInfo on nested let-bindings]
  • Note [Printing IfaceDecl binders]
  • Note [Result type of a data family GADT]
  • Note [Tracking data constructors]
  • Note [Lazy deserialization of IfaceId]
• compiler/iface/IfaceType.hs
  • Note [Free tyvars in IfaceType]
  • Note [Equality predicates in IfaceType]
  • Note [Holes in IfaceCoercion]
  • Note [Substitution on IfaceType]
  • Note [Suppressing invisible arguments]
  • Note [Pretty-printing invisible arguments]
  • Note [Defaulting RuntimeRep variables]
  • Note [When to print foralls]
  • Note [Printing foralls in type family instances]
  • Note [Printing promoted type constructors]
• compiler/iface/LoadIface.hs
  • Note [Loading instances for wired-in things]
  • Note [Loading your own hi-boot file]
  • Note [HPT space leak] (#15111)
  • Note [Home module load error]
  • Note [Name qualification with –show-iface]
• compiler/iface/MkIface.hs
  • Note [Fingerprinting IfaceDecls]
  • Note [The ABI of an IfaceDecl]
  • Note [Original module]
  • Note [Internal used_names]
• compiler/iface/TcIface.hs
  • Note [Knot-tying typecheckIface]
  • Note [Role merging]
  • Note [Resolving never-exported Names in TcIface]
  • Note [Synonym kind loop]
  • Note [Tying the knot]
  • Note [Knot-tying fallback on boot]
• compiler/iface/ToIface.hs
  • Note [Inlining and hs-boot files]