Documentation

Fields

• dsl_meta :: DsMetaEnv

  Template Haskell bindings

• dsl_loc :: RealSrcSpan

  To put in pattern-matching error msgs

• dsl_nablas :: LdiNablas

  See Note [Desugaring HsExpr during pattern-match checking], esp (DPM1) The set of reaching values Nablas is augmented as we walk inwards, refined through each pattern match in turn

• dsl_unspecables :: Maybe VarSet

  See Note [Desugaring non-canonical evidence] This field collects all un-specialisable evidence variables in scope. Nothing = don't collect this info (used for the LHS of Rules)

Fields

• ds_mod :: Module
   
• ds_fam_inst_env :: FamInstEnv
   
• ds_gbl_rdr_env :: GlobalRdrEnv
   
• ds_name_ppr_ctx :: NamePprCtx
   
• ds_msgs :: IORef (Messages DsMessage)
   
• ds_if_env :: (IfGblEnv, IfLclEnv)
   
• ds_complete_matches :: DsCompleteMatches
   
• ds_cc_st :: IORef CostCentreState
   
• ds_next_wrapper_num :: IORef (ModuleEnv Int)

  See Note [Generating fresh names for FFI wrappers]

• ds_static_binds :: IORef (OrdList (Id, CoreExpr))

  Static bindings See Note [Grand plan for static forms] in GHC.Iface.Tidy.StaticPtrTable