#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 Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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 14 months ago by simonpj@…

commit 57e08839f11990647f1b083316e920a00666b3b6

Author: Simon Peyton Jones <simonpj@microsoft.com>
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 14 months ago by simonpj

  • Difficulty set to Unknown
  • Resolution set to fixed
  • Status changed from new to closed

Done!

Note: See TracTickets for help on using tickets.