Ignat Insarov

Results 147 comments of Ignat Insarov

I experience the same issue, though with `new-build`. I use `cabal-install 2.3.0.0` and the current `happy`, cloned right from here just now.

@simonmar   What you are saying is that this package is not going to be handled by `new-build`? If there is only one supported way to build, I would humbly...

@thumphries Is there anything standing in the way? Please tell me if I can do something to help merge this. @mitchellwrosen In case Tim shows interest, perhars you could be...

For example, say I want to have abstract syntax à la [Emil Axelsson _(2012)_][1]. This construction needs generalized algebraic types for storing arity information on the type level. But indexed...

Turns out there is an open issue in the Proof General repository that discusses this: ProofGeneral/PG#430

This issue is still valid! And I still have not learned enough about Emacs's internals to fix it myself!

I tied various combinations of component selectors. It is not clear what the syntax of component selectors is in the first place. Last time I checked, the spelling and meaning...

Yes, for packages on Hackage it works as expected… sorta… It does not accept the selector of form `…:exe:…`, only `…:…`. ``` % cabal install gloss-examples:exe:gloss-lifespan --installdir /tmp/executables Downloading gloss-examples:exe:gloss-lifespan...

Maintainers, please indicate to me the status of this issue. I answered your questions to the best of my ability. Now I need to know whether this issue will be...

> When I encounter `slice :: Int -> Int -> f a -> f a`, I never remember whether the second `Int` is the number of elements to take or...