ghc-10.0.0.20260917: The GHC API
Safe HaskellNone
LanguageGHC2024

GHC.Tc.Gen.App

Documentation

tcApp Source #

Arguments

:: HsExpr GhcRn

The whole application (For error messages)

-> HsExpr GhcRn

The Function head

-> [HsExprArg 'TcpRn]

The list of arguments

-> ExpRhoType

When checking, -XDeepSubsumption = deeply skolemised

-> TcM (HsExpr GhcTc) 

tcExprPrag :: HsPragE GhcRn -> HsPragE GhcTc Source #