one weird trick to get all your types

[Thomas Miedema]

I'd put it here: https://ghc.haskell.org/trac/ghc/wiki/Debugging/Compiler

How about loading GHCi in GHCi :)

On Wed, Nov 11, 2015 at 7:03 PM, Richard Eisenberg <eir at cis.upenn.edu>
wrote:

> Hi devs,
>
> I spent some of my time at Hac Phi this past weekend teaching a few people
> the ropes about GHC hacking. One innocently asked if it's possible to load
> GHC into GHCi. I shuddered at the thought. But, actually, you can get quite
> close to this ideal:
>
> > ghc-stage2 --interactive
> GHCi, version 7.11.20151104: http://www.haskell.org/ghc/  :? for help
> Prelude> :set -package ghc         -- THIS IS THE KEY LINE
> package flags have changed, resetting and loading new packages...
> Prelude> import TcMType
> Prelude TcMType> :t newEvVar
> newEvVar
>   :: forall gbl lcl.
>      TcType.TcPredType -> TcRnTypes.TcRnIf gbl lcl Var.EvVar
> Prelude TcMType>
>
> Pretty cool, huh? This improves my life. Hopefully it improves yours, too.
>
> Richard
>
> PS: Can anyone recommend a place on the wiki where I should put this?
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151112/8a6cdc64/attachment.html>