Oleg Grenrus
Oleg Grenrus
> Perhaps GHC should expose some interface whereby cabal-install can query the list of non-reinstallable packages? The issue is that packages which cannot be actually built are uploaded to Hackage....
Don't edit changelogs.
Sorry, not on my priority list for now. Will happen eventually, but probably not very soon.
One could argue that `program-locations\n ar-location: /bin/my-custom-ar` is not really a good syntax. So let us keep this open until we figure out how to better.
> is to revise it's base bound to
> o I think that it would have the same effect No, it won't. `cabal-install`s solver does not backtrack on `buildable: False`.
> I think that it should at least work when Then it's inconsistent, and thus confusing behavior. If I have a test component with `buildable: False`, then `cabal build --enable-tests`...
`ImpredicativeTypes` is out of reach for generating labels. But maybe we can skip that particular field. Opinions @adamgundry @arybczak ?
@MangoIV > Sadly these higher rank types aren’t even allowed in instance heads That is what I meant by "out of reach". There is no way to define `LabelOptic` (or...
> Although we could generate instances that appeal to That's an orthogonal aspect. (We already don't generate optics for fields mentioning existential types).