|Reported by:||afarmer||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
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.