Rodrigo Mesquita pushed to branch wip/spj-reinstallable-base2 at Glasgow Haskell Compiler / GHC

Commits:

• aad3f72a
  by Rodrigo Mesquita at 2026-05-04T15:33:00+01:00

  unpackCString, unpackCStringUtf8; DROP MonadThings
  
  lookupKnownKeyGlobal to `getMkStringIds` in `Driver.Config.Tidy`
  

• a47d441c
  by Rodrigo Mesquita at 2026-05-04T15:54:32+01:00

  krepStar, krepStarArrStar, etc...
  
  I think this one might have an issue. When compiling the
  GHC.Internal.Types module itself, for which we'll generate these
  bindings, we look the Ids up.
  
  But how will the lookup find anything? We haven't defined the name at
  all, it won't be in scope.
  
  Now that we don't use special names for the kreps (krepStar rather than
  krep$* or what was it), can we define them in GHC.Internal.Types
  directly and get rid of all this business ExportedKindRepsTodo?
  
  TODO!!!!!!!
  
  ROMES:TODO!!!!
  

• c4afbe4b
  by Rodrigo Mesquita at 2026-05-04T16:30:35+01:00

  Tweaks and note to ExactRdrName
  
  Co-authored-by: SPJ
  

• d2d221fc
  by Rodrigo Mesquita at 2026-05-04T16:47:01+01:00

  ic_monad; ic_int_print; ExactRdrName; rmv printName
  

• 0e36b376
  by Rodrigo Mesquita at 2026-05-04T17:01:37+01:00

  ioTyConName
  

• 888e0a18
  by Rodrigo Mesquita at 2026-05-04T17:23:19+01:00

  ioDataConName
  

• fad5c84d
  by Rodrigo Mesquita at 2026-05-04T17:33:52+01:00

  ipClassName
  

• 002f334b
  by Rodrigo Mesquita at 2026-05-04T17:37:54+01:00

  hasFieldClassName
  

• 9fa810c0
  by Rodrigo Mesquita at 2026-05-04T17:47:42+01:00

  ghciIoClassName, ghciStepIoMName
  

• cf7ed9ec
  by Rodrigo Mesquita at 2026-05-04T17:51:13+01:00

  toAnnotationWrapperName
  

• 819dc248
  by Rodrigo Mesquita at 2026-05-04T17:53:16+01:00

  specTyConName
  

• 9a4f6638
  by Rodrigo Mesquita at 2026-05-04T18:06:08+01:00

  srcLocDataConName
  

• c8f3006f
  by Rodrigo Mesquita at 2026-05-04T18:10:00+01:00

  pushCallStackName
  

38 changed files:

• compiler/GHC.hs
• compiler/GHC/Builtin/KnownKeys.hs
• compiler/GHC/Builtin/KnownOccs.hs
• compiler/GHC/Core/Make.hs
• compiler/GHC/Driver/Config/Tidy.hs
• compiler/GHC/Driver/Env.hs
• compiler/GHC/HsToCore/Foreign/Wasm.hs
• compiler/GHC/HsToCore/Match/Literal.hs
• compiler/GHC/HsToCore/Monad.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Utils.hs
• compiler/GHC/Iface/Load.hs
• compiler/GHC/IfaceToCore.hs
• compiler/GHC/Plugins.hs
• compiler/GHC/Runtime/Context.hs
• compiler/GHC/StgToCmm/Bind.hs
• compiler/GHC/StgToJS/Apply.hs
• compiler/GHC/StgToJS/Expr.hs
• compiler/GHC/Tc/Errors.hs
• compiler/GHC/Tc/Errors/Ppr.hs
• compiler/GHC/Tc/Gen/Bind.hs
• compiler/GHC/Tc/Gen/Expr.hs
• compiler/GHC/Tc/Gen/HsType.hs
• compiler/GHC/Tc/Gen/Splice.hs
• compiler/GHC/Tc/Instance/Class.hs
• compiler/GHC/Tc/Instance/Typeable.hs
• compiler/GHC/Tc/Module.hs
• compiler/GHC/Tc/Solver/Default.hs
• compiler/GHC/Tc/Solver/Dict.hs
• compiler/GHC/Tc/Solver/Monad.hs
• compiler/GHC/Tc/Utils/Env.hs
• compiler/GHC/Tc/Utils/Monad.hs
• compiler/GHC/Types/Name/Reader.hs
• compiler/GHC/Types/TyThing.hs
• ghc/GHCi/UI.hs
• libraries/base/src/GHC/Essentials.hs
• libraries/ghc-internal/src/GHC/Internal/Classes/IP.hs
• libraries/ghc-internal/src/GHC/Internal/Types.hs

The diff was not included because it is too large.