Ben Gamari

For what it's worth, GHC uses `-r` to produce so-called "GHCi objects", which we load into our REPL. We use `-r` to merge objects' text sections (since the objects in...

> Maybe a silly question, but why GHC doesn't use .so instead of .o? It's not a silly question at all. GHC in fact does support building shared objects and...

Note that the interface for this would likely need to be CPS'd due to the interface of `withSerializedCompact`. The consumer would be expected for force the entire lazy bytestring.

As a user of `cabal new-build`, I believe the [introduction](https://github.com/haskell/cabal/pull/3936) of GHC environment files removes most of the need for configuration logic in `ghc-mod` itself. Essentially `cabal-install` writes out a...

The GHC [user guide](https://downloads.haskell.org/~ghc/master/users-guide//packages.html#package-environments) provides a specification of the format. Unfortunately I don't think the cabal bits were ever properly documented. I'm also not sure what the story for multiple...

@DanielG, does @ezyang's description sound plausible to you? For what it's worth, I've been using `ghc-mod` on some quite large projects using `new-build` and environment files with no problems for...

I should add that @ekmett has suggested using generics for this but I'm a bit too dense to see a way of doing this that provides the same ease of...

One open question surrounding this patch is what set of instances the representation type should be equipped with. Currently this [set](https://github.com/ekmett/adjunctions/pull/8/files#diff-8ac7032a844afa63d7a74f36e1aef292R122) includes `Typeable` which is a bit unfortunate as it...

@sjoerdvisscher, regarding `Distributive` you might want to have a look at https://github.com/ekmett/distributive/pull/4. It was only after working through this that I realized how one might derive `Representable` from `Generic` as...

@sjoerdvisscher the trouble with this `Generic` approach is that you require `Representable (Rep1 f)` which isn't possible as `Rep1 f` is not a functor as would be required by the...