~/talk

Making GHCi compatible with multiple home units

links:none on file
slides:none on file

GHCi now treats multiple home units as the default: it introduces an interactive GHCI home unit that depends on all loaded components and an interactive session home unit for scripts, so reloads propagate across packages and GHCI commands like :browse/:set/:info and the debugger work across unit boundaries (debugger patched with Rodrigo Mesquita’s changes). The implementation is merged on GHC head and currently requires Cabal’s enable-multirepl flag; future work aims to make multi-unit sessions the unconditional default.

AI-written summary · about

  1. 0:00Multiple home units in GHCi
  2. 2:37GHCi limitations with multiple units
  3. 4:23Interactive home unit
  4. 7:56Scripts with interactive unit
  5. 13:17Live demo of new features
  6. 16:47Future work and challenges
  7. 19:17Summary
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.