Ignat Insarov

So if such a patch were to appear, there is a reasonable expectation that it will be merge? If such is the case, then I am putting it in my...

I am not sure I understand what you want me to do. I can build the package and then run `cabal exec ghci` — it works alright: % cabal clean...

Yes, if I remove `~/.ghc/ghci.conf` then `cabal repl` succeeds. Here is the file. % cat ~/.ghc/ghci.conf :set prompt "λ " :set prompt-cont "> " :set +m :set -fdefer-typed-holes :set -fdiagnostics-color=always...

1. Yes, axually I can do this: % cabal exec sh sh-5.1$ ghci src/Test/QuickCheck/All.hs — And see the same compilation error. 2. Maybe some of: 1. Cabal could make it...

> Thanks for the confirmation and the proposals At your service! > But your favourite set of language extensions are the ones in the ghci.conf and those made the load...

@phadej   Thank you Oleg for your thoughtful advice. Unfortunately, my workflows rely on there being `:set` and not `:seti`. For example: ``` % cat X.hs main ∷ IO ( )...

> > Cabal promised from the outset to support arbitrary ~/.ghc/ghci.conf. Then Cabal is already breaking its promise to me. > > It breaks its promises adding its language extensions...

> > For example, it can ask GHC to load a script that resets all language extensions to their default state. > > How? AFAIK that is not possible. (Please...

I like the name, aside from it being hard to remember. Maybe ΞDB, or XiDB? But it is not really my place to suggest names for your project — it...

While at it, I think some if not all of the code in `Toml.Codec.Di` can work on more general codecs than `TomlCodec a`. For example, I am putting this code...