HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Moduleghc-9.10.3GHC2021

GHC.Tc.Gen.Head

  • 4 types
  • 22 values
  • Packageghc-9.10.3
  • Exports26
  • LanguageGHC2021
  • LicenceBSD-3-Clause
  • SourceHead.hs
valuerebuildHsApps
  1. :: HsExpr GhcTc

    the function being applied

  2. -> AppCtxt
  3. -> [HsExprArg 'TcpTc]

    the arguments to the function

  4. -> TcRhoType

    result type of the application

  5. -> TcM (HsExpr GhcTc)
#

Rebuild an application: takes a type-checked application head expression together with arguments in the form of typechecked HsExprArgs and returns a typechecked application of the head to the arguments.

This performs a representation-polymorphism check to ensure that representation-polymorphic unlifted newtypes have been eta-expanded.

See Note [Eta-expanding rep-poly unlifted newtypes].