Expose tcIfaceExpr

The tcIface module exports:

    tcExtCoreBindings :: [IfaceBinding] -> IfL CoreProgram

which is useful for typechecking whole programs in Iface Core. It unfortunately does not export:

    tcIfaceExpr :: IfaceExpr -> IfL CoreExpr

This function would be useful to the HERMIT plugin, where we want to parse and typecheck Core fragments by way of Iface Core.

Trac metadata

Trac field	Value
Version	7.6.2
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	GHC API
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture