[source]
compiler/coreSyn/CoreFVs.hs
¶
Note [The FVAnn invariant]
¶
[note link]
Invariant: a FVAnn, say S, is closed:
That is: if v is in S,
then freevars( v’s type/kind ) is also in S
ghc-compiler-notes
Navigation
Contents:
compiler/backpack
compiler/basicTypes
compiler/cmm/Hoopl
compiler/cmm
compiler/codeGen
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/ghci
compiler/hieFile
compiler/hsSyn
compiler/iface
compiler/llvmGen/Llvm
compiler/llvmGen/LlvmCodeGen
compiler/main/SysTools
compiler/main
compiler/nativeGen/RegAlloc/Graph
compiler/nativeGen
compiler/parser
compiler/prelude
compiler/rename
compiler/simplCore
compiler/simplStg/StgLiftLams
compiler/simplStg
compiler/specialise
compiler/stgSyn
compiler/stranal
compiler/typecheck
compiler/types
compiler/utils
libraries/base/Control
libraries/base/Data/Functor
libraries/base/Data
libraries/base/Foreign/Marshal
libraries/base/Foreign
libraries/base/GHC/IO/Encoding
libraries/base/GHC/IO
libraries/base/GHC/Stack
libraries/base/GHC
libraries/ghc-prim/GHC
libraries/template-haskell/Language/Haskell/TH
utils/genprimopcode
utils/ghc-pkg
Related Topics
Documentation overview
compiler/coreSyn
Previous:
compiler/coreSyn/CoreArity.hs
Next:
compiler/coreSyn/CoreLint.hs
Quick search