Request: export runTcInteractive from TcRnDriver

p.k.f.holzenspies at p.k.f.holzenspies at
Wed Mar 12 09:35:09 UTC 2014

Dear Simon,

Finally got round to doing this. It's registered as ticket #8878 and the patch is attached. For your consideration.


From: Simon Peyton Jones [mailto:simonpj at]
Sent: dinsdag 4 februari 2014 9:05
To: Holzenspies, P.K.F. (EWI); ghc-devs at
Subject: RE: Request: export runTcInteractive from TcRnDriver

No, there's no reason it's not exported, excepting only that it's not currently called outside TcRnDriver.

Go ahead and create a ticket and patch.  It should be exported from GHC.hs (ie the official GHC API), not merely from TcRnDriver.  And I suggest you add a comment with the export from GHC.hs to explain why it's exported.  Otherwise someone might delete it again!



From: ghc-devs [mailto:ghc-devs-bounces at] On Behalf Of p.k.f.holzenspies at<mailto:p.k.f.holzenspies at>
Sent: 29 January 2014 09:55
To: ghc-devs at<mailto:ghc-devs at>
Subject: Request: export runTcInteractive from TcRnDriver

Dear GHC-devs,

Is there a reason why, in HEAD, TcRnDriver does *not* export runTcInteractive? If not, can it please be added? (I considered sending a patch with this email, but it's so trivial a change that the check of the patch is more work than manually adding runTcInteractive to the export list.)

I'm developing against the GHC API of 7.6.3 and it would have saved me hours of work to have precisely that function. Seeing it's in HEAD, but not being exported seems a shame ;)


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list