On Fri, Jan 28, 2022 at 11:52:00AM -0500, Norman Ramsey wrote: > > My recommendation: ./hadrian/ghci. > > I'm about to change a type definition. This change may wreak havoc in > many parts of GHC, and this is exactly what I want: I'm looking for > type-error messages that will tell me what code I need to fix. > I do this work in emacs using `M-x compile` and `next-error`. The key > property is that `next-error` requires just a couple of keystrokes > (C-x `) and it makes Emacs take me to the relevant source-code > location quickly. > > But telling `M-x compile` to run `./hadrian/build` is quite slow. Is > there a way to leverage `./hadrian/ghci` for this workflow?
Are you familiar with dante-mode for Emacs? It relies on ghci behind the scenes to point out type errors in Emacs Haskell buffers. You might find it convenient even if only for this single-purpose use case. I wrote up how I use dante: http://h2.jaguarpaw.co.uk/posts/how-i-use-dante/ You will have to `M-x customize-group dante` to set the GHCi path to `.../hadrian/ghci`. Tom _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
