ghc-compiler-notes

Acknowledgements

The documents in this repository are generated from the source code in the GHC repository, ghc/ghc. They are hosted under the The Glasgow Haskell Compiler License (Click the link for the whole disclaimer). Please read and follow the disclaimer for the use of the documents.

The source code itself in the repository is released under MIT License, and this is only applied to ghc-compiler-notes source code.

TOC

Contents:

• compiler/backpack
  • compiler/backpack/NameShape.hs
  • compiler/backpack/RnModIface.hs
• compiler/basicTypes
  • compiler/basicTypes/Avail.hs
  • compiler/basicTypes/BasicTypes.hs
  • compiler/basicTypes/DataCon.hs
  • compiler/basicTypes/Demand.hs
  • compiler/basicTypes/FieldLabel.hs
  • compiler/basicTypes/Id.hs
  • compiler/basicTypes/IdInfo.hs
  • compiler/basicTypes/Lexeme.hs
  • compiler/basicTypes/Literal.hs
  • compiler/basicTypes/MkId.hs
  • compiler/basicTypes/Module.hs
  • compiler/basicTypes/NameCache.hs
  • compiler/basicTypes/NameEnv.hs
  • compiler/basicTypes/OccName.hs
  • compiler/basicTypes/PatSyn.hs
  • compiler/basicTypes/RdrName.hs
  • compiler/basicTypes/SrcLoc.hs
  • compiler/basicTypes/Unique.hs
  • compiler/basicTypes/Var.hs
  • compiler/basicTypes/VarEnv.hs
• compiler/cmm/Hoopl
  • compiler/cmm/Hoopl/Dataflow.hs
• compiler/cmm
  • compiler/cmm/Bitmap.hs
  • compiler/cmm/BlockId.hs
  • compiler/cmm/CLabel.hs
  • compiler/cmm/CmmContFlowOpt.hs
  • compiler/cmm/CmmExpr.hs
  • compiler/cmm/CmmLayoutStack.hs
  • compiler/cmm/CmmNode.hs
  • compiler/cmm/CmmOpt.hs
  • compiler/cmm/CmmPipeline.hs
  • compiler/cmm/CmmProcPoint.hs
  • compiler/cmm/CmmSink.hs
  • compiler/cmm/CmmSwitch.hs
  • compiler/cmm/Debug.hs
  • compiler/cmm/SMRep.hs
• compiler/codeGen
  • compiler/codeGen/StgCmmBind.hs
  • compiler/codeGen/StgCmmClosure.hs
  • compiler/codeGen/StgCmmExpr.hs
  • compiler/codeGen/StgCmmHeap.hs
  • compiler/codeGen/StgCmmMonad.hs
  • compiler/codeGen/StgCmmPrim.hs
  • compiler/codeGen/StgCmmTicky.hs
• compiler/coreSyn
  • compiler/coreSyn/CoreArity.hs
  • compiler/coreSyn/CoreFVs.hs
  • compiler/coreSyn/CoreLint.hs
  • compiler/coreSyn/CoreMap.hs
  • compiler/coreSyn/CoreOpt.hs
  • compiler/coreSyn/CorePrep.hs
  • compiler/coreSyn/CoreSubst.hs
  • compiler/coreSyn/CoreSyn.hs
  • compiler/coreSyn/CoreTidy.hs
  • compiler/coreSyn/CoreUnfold.hs
  • compiler/coreSyn/CoreUtils.hs
  • compiler/coreSyn/MkCore.hs
  • compiler/coreSyn/PprCore.hs
• compiler/deSugar
  • compiler/deSugar/Check.hs
  • compiler/deSugar/Desugar.hs
  • compiler/deSugar/DsBinds.hs
  • compiler/deSugar/DsExpr.hs
  • compiler/deSugar/DsMeta.hs
  • compiler/deSugar/DsMonad.hs
  • compiler/deSugar/DsUtils.hs
  • compiler/deSugar/Match.hs
  • compiler/deSugar/MatchCon.hs
  • compiler/deSugar/MatchLit.hs
  • compiler/deSugar/PmExpr.hs
  • compiler/deSugar/TmOracle.hs
• compiler/ghci
  • compiler/ghci/ByteCodeGen.hs
  • compiler/ghci/Linker.hs
  • compiler/ghci/RtClosureInspect.hs
• compiler/hieFile
  • compiler/hieFile/HieTypes.hs
• compiler/hsSyn
  • compiler/hsSyn/Convert.hs
  • compiler/hsSyn/HsBinds.hs
  • compiler/hsSyn/HsDecls.hs
  • compiler/hsSyn/HsExpr.hs
  • compiler/hsSyn/HsExtension.hs
  • compiler/hsSyn/HsImpExp.hs
  • compiler/hsSyn/HsLit.hs
  • compiler/hsSyn/HsPat.hs
  • compiler/hsSyn/HsTypes.hs
  • compiler/hsSyn/HsUtils.hs
  • compiler/hsSyn/PlaceHolder.hs
• compiler/iface
  • compiler/iface/BinIface.hs
  • compiler/iface/BuildTyCl.hs
  • compiler/iface/IfaceSyn.hs
  • compiler/iface/IfaceType.hs
  • compiler/iface/LoadIface.hs
  • compiler/iface/MkIface.hs
  • compiler/iface/TcIface.hs
  • compiler/iface/ToIface.hs
• compiler/llvmGen/Llvm
  • compiler/llvmGen/Llvm/Types.hs
• compiler/llvmGen/LlvmCodeGen
  • compiler/llvmGen/LlvmCodeGen/CodeGen.hs
• compiler/main/SysTools
  • compiler/main/SysTools/BaseDir.hs
• compiler/main
  • compiler/main/DriverPipeline.hs
  • compiler/main/DynFlags.hs
  • compiler/main/FileCleanup.hs
  • compiler/main/GhcMake.hs
  • compiler/main/HscTypes.hs
  • compiler/main/InteractiveEval.hs
  • compiler/main/Plugins.hs
  • compiler/main/PprTyThing.hs
  • compiler/main/StaticPtrTable.hs
  • compiler/main/SysTools.hs
  • compiler/main/TidyPgm.hs
• compiler/nativeGen/RegAlloc/Graph
  • compiler/nativeGen/RegAlloc/Graph/TrivColorable.hs
• compiler/nativeGen
  • compiler/nativeGen/AsmCodeGen.hs
  • compiler/nativeGen/PprBase.hs
• compiler/parser
  • compiler/parser/ApiAnnotation.hs
  • compiler/parser/RdrHsSyn.hs
• compiler/prelude
  • compiler/prelude/KnownUniques.hs
  • compiler/prelude/PrelInfo.hs
  • compiler/prelude/PrelNames.hs
  • compiler/prelude/PrelRules.hs
  • compiler/prelude/PrimOp.hs
  • compiler/prelude/TysPrim.hs
  • compiler/prelude/TysWiredIn.hs
• compiler/rename
  • compiler/rename/RnBinds.hs
  • compiler/rename/RnEnv.hs
  • compiler/rename/RnExpr.hs
  • compiler/rename/RnFixity.hs
  • compiler/rename/RnNames.hs
  • compiler/rename/RnPat.hs
  • compiler/rename/RnSource.hs
  • compiler/rename/RnSplice.hs
  • compiler/rename/RnTypes.hs
• compiler/simplCore
  • compiler/simplCore/CSE.hs
  • compiler/simplCore/CallArity.hs
  • compiler/simplCore/CoreMonad.hs
  • compiler/simplCore/Exitify.hs
  • compiler/simplCore/FloatIn.hs
  • compiler/simplCore/FloatOut.hs
  • compiler/simplCore/LiberateCase.hs
  • compiler/simplCore/OccurAnal.hs
  • compiler/simplCore/SAT.hs
  • compiler/simplCore/SetLevels.hs
  • compiler/simplCore/SimplCore.hs
  • compiler/simplCore/SimplEnv.hs
  • compiler/simplCore/SimplUtils.hs
  • compiler/simplCore/Simplify.hs
• compiler/simplStg/StgLiftLams
  • compiler/simplStg/StgLiftLams/Analysis.hs
  • compiler/simplStg/StgLiftLams/LiftM.hs
• compiler/simplStg
  • compiler/simplStg/StgCse.hs
  • compiler/simplStg/StgLiftLams.hs
  • compiler/simplStg/UnariseStg.hs
• compiler/specialise
  • compiler/specialise/Rules.hs
  • compiler/specialise/SpecConstr.hs
  • compiler/specialise/Specialise.hs
• compiler/stgSyn
  • compiler/stgSyn/CoreToStg.hs
  • compiler/stgSyn/StgFVs.hs
  • compiler/stgSyn/StgSyn.hs
• compiler/stranal
  • compiler/stranal/DmdAnal.hs
  • compiler/stranal/WorkWrap.hs
  • compiler/stranal/WwLib.hs
• compiler/typecheck
  • compiler/typecheck/ClsInst.hs
  • compiler/typecheck/FamInst.hs
  • compiler/typecheck/FunDeps.hs
  • compiler/typecheck/Inst.hs
  • compiler/typecheck/TcArrows.hs
  • compiler/typecheck/TcBackpack.hs
  • compiler/typecheck/TcBinds.hs
  • compiler/typecheck/TcCanonical.hs
  • compiler/typecheck/TcClassDcl.hs
  • compiler/typecheck/TcDeriv.hs
  • compiler/typecheck/TcDerivInfer.hs
  • compiler/typecheck/TcDerivUtils.hs
  • compiler/typecheck/TcEnv.hs
  • compiler/typecheck/TcErrors.hs
  • compiler/typecheck/TcEvidence.hs
  • compiler/typecheck/TcExpr.hs
  • compiler/typecheck/TcFlatten.hs
  • compiler/typecheck/TcForeign.hs
  • compiler/typecheck/TcGenDeriv.hs
  • compiler/typecheck/TcGenFunctor.hs
  • compiler/typecheck/TcGenGenerics.hs
  • compiler/typecheck/TcHoleErrors.hs
  • compiler/typecheck/TcHsSyn.hs
  • compiler/typecheck/TcHsType.hs
  • compiler/typecheck/TcInstDcls.hs
  • compiler/typecheck/TcInteract.hs
  • compiler/typecheck/TcMType.hs
  • compiler/typecheck/TcMatches.hs
  • compiler/typecheck/TcPat.hs
  • compiler/typecheck/TcPatSyn.hs
  • compiler/typecheck/TcRnDriver.hs
  • compiler/typecheck/TcRnExports.hs
  • compiler/typecheck/TcRnMonad.hs
  • compiler/typecheck/TcRnTypes.hs
  • compiler/typecheck/TcRules.hs
  • compiler/typecheck/TcSMonad.hs
  • compiler/typecheck/TcSigs.hs
  • compiler/typecheck/TcSimplify.hs
  • compiler/typecheck/TcSplice.hs
  • compiler/typecheck/TcTyClsDecls.hs
  • compiler/typecheck/TcTyDecls.hs
  • compiler/typecheck/TcType.hs
  • compiler/typecheck/TcTypeNats.hs
  • compiler/typecheck/TcTypeable.hs
  • compiler/typecheck/TcUnify.hs
  • compiler/typecheck/TcValidity.hs
• compiler/types
  • compiler/types/Class.hs
  • compiler/types/CoAxiom.hs
  • compiler/types/Coercion.hs
  • compiler/types/FamInstEnv.hs
  • compiler/types/InstEnv.hs
  • compiler/types/Kind.hs
  • compiler/types/OptCoercion.hs
  • compiler/types/TyCoRep.hs
  • compiler/types/TyCon.hs
  • compiler/types/Type.hs
  • compiler/types/Unify.hs
• compiler/utils
  • compiler/utils/BooleanFormula.hs
  • compiler/utils/Digraph.hs
  • compiler/utils/Encoding.hs
  • compiler/utils/FV.hs
  • compiler/utils/GhcPrelude.hs
  • compiler/utils/MonadUtils.hs
  • compiler/utils/TrieMap.hs
  • compiler/utils/UniqDFM.hs
  • compiler/utils/UniqSet.hs
• libraries/base/Control
  • libraries/base/Control/Monad.hs
• libraries/base/Data/Functor
  • libraries/base/Data/Functor/Utils.hs
• libraries/base/Data
  • libraries/base/Data/Bits.hs
  • libraries/base/Data/Foldable.hs
  • libraries/base/Data/OldList.hs
  • libraries/base/Data/String.hs
  • libraries/base/Data/Traversable.hs
• libraries/base/Foreign/Marshal
  • libraries/base/Foreign/Marshal/Alloc.hs
• libraries/base/Foreign
  • libraries/base/Foreign/Ptr.hs
• libraries/base/GHC/IO/Encoding
  • libraries/base/GHC/IO/Encoding/Failure.hs
• libraries/base/GHC/IO
  • libraries/base/GHC/IO/Unsafe.hs
• libraries/base/GHC/Stack
  • libraries/base/GHC/Stack/Types.hs
• libraries/base/GHC
  • libraries/base/GHC/Arr.hs
  • libraries/base/GHC/Base.hs
  • libraries/base/GHC/Enum.hs
  • libraries/base/GHC/Err.hs
  • libraries/base/GHC/Float.hs
  • libraries/base/GHC/IORef.hs
  • libraries/base/GHC/Int.hs
  • libraries/base/GHC/List.hs
  • libraries/base/GHC/Real.hs
  • libraries/base/GHC/TopHandler.hs
• libraries/ghc-prim/GHC
  • libraries/ghc-prim/GHC/CString.hs
  • libraries/ghc-prim/GHC/Types.hs
• libraries/template-haskell/Language/Haskell/TH
  • libraries/template-haskell/Language/Haskell/TH/Ppr.hs
  • libraries/template-haskell/Language/Haskell/TH/Syntax.hs
• utils/genprimopcode
  • utils/genprimopcode/Main.hs
• utils/ghc-pkg
  • utils/ghc-pkg/Main.hs

Indices and tables

• Index
• Module Index
• Search Page