[GHC] #7683: Expose tcIfaceExpr
GHC
cvs-ghc at haskell.org
Tue Feb 12 07:01:53 CET 2013
#7683: Expose tcIfaceExpr
-----------------------------+----------------------------------------------
Reporter: afarmer | Owner:
Type: feature request | Status: new
Priority: normal | Component: GHC API
Version: 7.6.2 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Blockedby:
Blocking: | Related:
-----------------------------+----------------------------------------------
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.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7683>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list