ghc-9.0.0.20200925: The GHC API
Safe HaskellNone
LanguageHaskell2010

GHC.Core.Opt.WorkWrap.Utils

Synopsis

Documentation

mkWorkerArgs :: DynFlags -> [Var] -> Type -> ([Var], [Var]) Source #

data DataConAppContext Source #

Context for a DataCon application with a hole for every field, including surrounding coercions. The result of deepSplitProductType_maybe and deepSplitCprType_maybe.

Example:

DataConAppContext Just [Int] [(Lazy, Int)] (co :: Maybe Int ~ First Int)

represents

Just @Int (_1 :: Int) |> co :: First Int

where _1 is a hole for the first argument. The number of arguments is determined by the length of arg_tys.