#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