Andreas Abel
Andreas Abel
I spent considerable time searching the `base-linear` library for a function that would allow me to use a unrestricted function as a linear one provided the domain is `Moveable`. Is...
This worked under GHC 9.0.1: ``` $ git submodule sync $ git submodule update --init --recursive --depth 1 $ cabal build all --enable-tests --allow-newer=template-haskell ``` So I suppose all is...
The latest release (0.3.4.0) does not build with GHC 8.0. Maybe some bounds have to be tightened. See also - https://github.com/haskell-infra/hackage-trustees/issues/173. ``` $ cabal install hsdev -w ghc-8.0.2 Resolving dependencies......
Stumbled across this paper: https://pleger.cl/cv-pleger/papers/figueroaAl-SCP2020.pdf Which Monads Haskell Developers Use: An Exploratory Study by Ismael Figueroa, Paul Leger, Hiroaki Fukuda From the abstract: > Our results show that around 30.8%...
After doing a bit of research, I conjecture that the `MonadFail` instances (e.g. for `ReaderT`) were added in `mtl-2.2.1`. However, this information isn't attached to these instances in the haddocks...
The current `master` of `cubical` does not build with Agda `master`, breaking here: https://github.com/agda/cubical/blob/43e0bf07f06bc4a713f3c55d97a13922b426813e/Cubical/Reflection/Base.agda#L51 `extendContext` expects one more argument now: ```agda extendContext : ∀ {a} {A : Set a} →...
Trying to install from hackage with ghc 8.10.2 produces a failure of cabal similar to #4845. Interestingly, it works with ghc 8.8.4 and cabal 3.2, so the cabal version alone...
A `default` signature in general does not alleviate the user from implementing the corresponding method in instances. They only apply to special situations. Thus, they should not be taken into...
Looking at the output of haddock to the user, ``` ... 50% ( 1 / 2) in 'Test.Tasty.Silver.Interactive.Run' Missing documentation for: Module header Warning: 'goldenTest1' is out of scope. If...
Feature request: Markup for verbatim. I would like to write something inline like `@path/to/file@`, i.e. some teletype text containing markup characters like `/`. Currently I get from this something like...