compiler/deSugar

Contents:

• compiler/deSugar/Check.hs
  • Note [Recovering from unsatisfiable pattern-matching constraints]
  • Note [Type normalisation for EmptyCase]
  • Note [Checking EmptyCase Expressions]
  • Note [Translate Overloaded Literal for Exhaustiveness Checking]
  • Note [Guards and Approximation]
  • 4. N+K Patterns & Pattern Synonyms
  • Note [Translate CoPats]
  • Note [Extensions to GADTs Meet Their Match]
  • Note [Single match constructors]
  • Note [Filtering out non-matching COMPLETE sets]
  • Note [Coverage checking and existential tyvars]
  • Note [Type and Term Equality Propagation]
  • Note [Literals in PmPat]
  • Note [Translating As Patterns]
  • Note [Inaccessible warnings for record updates]
  • Note [Representation of Term Equalities]
• compiler/deSugar/Desugar.hs
  • Note [Top-level evidence]
  • Note [Adding export flags]
  • Note [Attach rules to local ids]
  • Note [Desugaring RULE left hand sides]
  • Note [Desugaring coerce as cast]
  • Note [Rules and inlining/other rules]
• compiler/deSugar/DsBinds.hs
  • Note [Desugaring AbsBinds]
  • Note [Rules and inlining]
  • Note [Specialising in no-dict case]
  • Note [Abstracting over tyvars only]
  • Note [Eta-expanding INLINE things]
  • Note [Nested arities]
  • Note [Desugar Strict binds]
  • Note [Strict binds checks]
  • Note [SPECIALISE on INLINE functions]
  • Note [Activation pragmas for SPECIALISE]
  • Note [Decomposing the left-hand side of a RULE]
  • Note [Free tyvars on rule LHS]
  • Note [Free dictionaries on rule LHS]
  • Note [Drop dictionary bindings on rule LHS]
  • Note [Simplify rule LHS]
  • Note [Matching seqId]
  • Note [Unused spec binders]
  • Note [No RULES on datacons]
• compiler/deSugar/DsExpr.hs
  • Note [Desugaring vars]
  • Note [Update for GADTs]
  • Note [Desugaring explicit lists]
  • Note [Detecting forced eta expansion]
  • Wrinkle
• compiler/deSugar/DsMeta.hs
  • Note [Scoped type variables in bindings]
  • Note [Scoped type variables in class and instance declarations]
  • Note [Binders and occurrences]
  • Note [Don’t quantify implicit type variables in quotes]
• compiler/deSugar/DsMonad.hs
  • Note [Levity polymorphism checking]
• compiler/deSugar/DsUtils.hs
  • Note [Localise pattern binders]
  • Note [mkSelectorBinds]
  • Note [Failure thunks and CPR]
  • Note [decideBangHood]
• compiler/deSugar/Match.hs
  • Note [Match Ids]
  • Note [Empty case alternatives]
  • Note [Bang patterns and newtypes]
  • Note [Don’t use Literal for PgN]
  • Note [Pattern synonym groups]
  • Note [Take care with pattern order]
  • Note [Grouping overloaded literal patterns]
• compiler/deSugar/MatchCon.hs
  • Note [Record patterns]
  • Note [Existentials in shift_con_pat]
• compiler/deSugar/MatchLit.hs
  • Note [Literal short cut]
  • Note [Suggest NegativeLiterals]
• compiler/deSugar/PmExpr.hs
  • Note [PmExprOther in PmExpr]
  • Note [Undecidable Equality for Overloaded Literals]
• compiler/deSugar/TmOracle.hs
  • Note [Deep equalities]