Running GHC in GHCi

[Bryan Richter]

That's very exciting!

On Thu, 28 Oct 2021, 3.08 Ben Gamari, <ben at well-typed.com> wrote:

> Ben Gamari <ben at well-typed.com> writes:
>
> > Hi all,
> >
> > Today I verified that with Luite's recent work on the interpreter it is
> > now possible to run GHC entirely within GHCi (when bootstrapping from
> > GHC 9.2).
> >
> > ...
> >
> I have fixed the break-array issue noted in the above message in !6848.
> It is now possible to use `:trace` on GHC itself:
>
>
> $ hadrian/ghci
> GHCi, version 9.2.1: https://www.haskell.org/ghc/  :? for help
> .
> .
> .
> λ> import Main
> λ> :set args -B/opt/exp/ghc/ghc-landing/_build/stage1/lib Hi.hs -v3
> -fforce-recomp
> λ> :set -fbreak-on-error
> λ> :trace main
> Glasgow Haskell Compiler, Version 9.3.20211027, stage 1 booted by GHC
> version 9.2.1
> ^CStopped in <exception thrown>, <unknown>
> _exception :: e = _
> [<unknown>] λ> :hist
> -1  : fromException
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Utils/Panic.hs:114:19-24)
> -2  : uniq
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:205:7-10)
> -3  : moduleNameFS
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Unit/Module/Name.hs:72:33-35)
> -4  : stableModuleNameCmp
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Unit/Module/Name.hs:62:64-78)
> -5  : lexicalCompareFS
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:252:18-25)
> -6  : uniq
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:205:7-10)
> -7  : moduleNameFS
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Unit/Module/Name.hs:72:33-35)
> -8  : stableModuleNameCmp
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Unit/Module/Name.hs:62:29-43)
> -9  : lexicalCompareFS
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:252:6-13)
> -10 : lexicalCompareFS
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:252:6-25)
> -11 : lexicalCompareFS
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:(252,3)-(253,54))
> -12 : stableModuleNameCmp
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Unit/Module/Name.hs:62:29-78)
> -13 : compare
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Unit/Module/Name.hs:42:23-49)
> -14 : fs_sbs
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:207:7-12)
> -15 : lexicalCompareFS
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:253:44-53)
> -16 : fs_sbs
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:207:7-12)
> -17 : lexicalCompareFS
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:253:31-40)
> -18 : lexicalCompareFS
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:253:3-54)
> -19 : uniq
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:205:7-10)
> -20 : moduleNameFS
> (/opt/exp/ghc/ghc-landing/compiler/GHC/Unit/Module/Name.hs:72:33-35)
> ...
> [<unknown>] λ> :back
> Logged breakpoint at
> /opt/exp/ghc/ghc-landing/compiler/GHC/Utils/Panic.hs:114:19-24
> _result :: Maybe GHC.Utils.Panic.Plain.PlainGhcException
> e :: SomeAsyncException
> [-1: /opt/exp/ghc/ghc-landing/compiler/GHC/Utils/Panic.hs:114:19-24] λ>
> :back
> Logged breakpoint at
> /opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:205:7-10
> _result :: Int
> uniq :: Int
> [-2: /opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:205:7-10] λ>
> uniq
> 603980920
> [-2: /opt/exp/ghc/ghc-landing/compiler/GHC/Data/FastString.hs:205:7-10] λ>
> :back
> Logged breakpoint at
> /opt/exp/ghc/ghc-landing/compiler/GHC/Unit/Module/Name.hs:72:33-35
> _result :: ModuleName
> mod :: ModuleName
> [-3: /opt/exp/ghc/ghc-landing/compiler/GHC/Unit/Module/Name.hs:72:33-35]
> λ> mod
> ModuleName "GHC.Tc.Solver.Canonical"
>
> et cetera
> _______________________________________________
> 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/20211028/7e0310cf/attachment.html>