Daniil Iaitskov
Daniil Iaitskov
@arguri, it only works for data with 1 field (i.e. newtype) ``` • Could not deduce (Functor f0) arising from GHC Bug #20076 from the context: Functor f bound by...
Thanks, I see - every lens binding should have dedicated expression and they cannot be batched in one data constructor.
> Isn't the right hand side just coerced? With Set Printing Coercions I see eg `EA1 : fold_constants_aexp a1 = ANum n` If this is a feature. Is it possible...
> Do I read this correctly as solely being a bug on the cli or is it also broken in the editor? I was not looking bugs on purpose. I...
> I think we'd be more successful getting your many changes adopted if we split this PR into multiple PRs, one per library, OOPS If formatting is that important -...
I extracted #694 from this PR.
https://github.com/yaitskov/lazy-scope
Yep the feature is not popular one. I discovered it myself recently and use for passing DocStrings and Interactivity from Haskell function to Emacs Lisp ones. https://github.com/yaitskov/hamacs/blob/96be2a8d9f114a2c1f864db23521cd571c014987/packages/hapack/HaPack.hs#L13
> Hackage does build and run tests. This can be disabled per-package on hackage: https://hackage.haskell.org/package/copilot-bluespec/maintain > > This is however not an ideal situation, as it has to be done...
> Adding packages to the nix config for running tests as well as building haddocks should be fine, within reason, imho. Could a hackage-server use nix files from the project?...