Opened 5 years ago

Closed 5 years ago

#7683 closed feature request (fixed)

Expose tcIfaceExpr

Reported by: afarmer Owned by:
Priority: normal Milestone:
Component: GHC API Version: 7.6.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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.

Change History (2)

comment:1 Changed 5 years ago by simonpj@…

commit 57e08839f11990647f1b083316e920a00666b3b6

Author: Simon Peyton Jones <>
Date:   Wed Feb 13 17:08:03 2013 +0000

    Export tcIfaceExpr as requested by Trac #7683

 compiler/iface/TcIface.lhs |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)

comment:2 Changed 5 years ago by simonpj

difficulty: Unknown
Resolution: fixed
Status: newclosed


Note: See TracTickets for help on using tickets.