compiler/hsSyn¶
- compiler/hsSyn/Convert.hs
- compiler/hsSyn/HsBinds.hs
- compiler/hsSyn/HsDecls.hs
- Note [The Naming story]
- “Implicit” (or “system”) binders
- Default methods
- Dictionary functions
- Note [TyVar binders for associated decls]
- Note [CUSKs: complete user-supplied kind signatures]
- Note [TyClGroups and dependency analysis]
- Note [FamilyResultSig]
- Note [Injectivity annotation]
- Note [GADT abstract syntax]
- Note [Type family instance declarations in HsSyn]
- Note [Family instance declaration binders]
- compiler/hsSyn/HsExpr.hs
- Note [CmdSyntaxtable]
- Note [OutOfScope and GlobalRdrEnv]
- Note [Parens in HsSyn]
- Note [Sections in HsSyn]
- Note [Rebindable if]
- Note [Record Update HsWrapper]
- Note [Located RdrNames]
- Note [m_ctxt in Match]
- Note [The type of bind in Stmts]
- Note [TransStmt binder map]
- Note [BodyStmt]
- Note [How RecStmt works]
- Note [Typing a RecStmt]
- Note [Monad Comprehensions]
- Note [Pending Splices]
- compiler/hsSyn/HsExtension.hs
- compiler/hsSyn/HsImpExp.hs
- compiler/hsSyn/HsLit.hs
- compiler/hsSyn/HsPat.hs
- compiler/hsSyn/HsTypes.hs
- Note [HsBSig binder lists]
- Note [HsType binders]
- Note [The wildcard story for types]
- Note [Ordering of implicit variables]
- Note [Representing type signatures]
- Note [HsForAllTy tyvar binders]
- Note [Unit tuples]
- Note [Promotions (HsTyVar)]
- Note [HsStarTy]
- Note [Promoted lists and tuples]
- Note [Distinguishing tuple kinds]
- Note [ConDeclField passs]
- Note [Scoping of named wildcards]
- Note [Printing KindedTyVars]
- compiler/hsSyn/HsUtils.hs
- compiler/hsSyn/PlaceHolder.hs