Alfredo Di Napoli
Alfredo Di Napoli
Hi, I've really appreciated your work, keep updating it :) I've found very verbose having to specify the fully qualified class name in my match: why I can't do, for...
I can see we have a SNS submodule to handle SES specific events, but not a general one. Is there any blocker for that or just it haven't been thought...
As we discussed numerous times in the past, now we have moved `liquid-base` and `liquid-ghc-prim` into their own repo so that they can evolve separately from `liquidhaskell` itself: * https://github.com/liquidhaskell/liquid-base...
Currently most of the `neg` tests only check that `liquid` returns an exit code different than 0, but that is usually not enough, because the process might still exit with...
Hey guys, I don't know if I'm undercaffeinated and tired at this point of the day, but trying to load foundation in `ghci` triggers the following: ``` ghci> :l Foundation/String.hs...
Following up from #314, we should now: * Benchmark `replace` against `text` and `bytestring` to see how much we are lagging behind; * Optimise `replace` both in terms of memory...
Hello there! I like the idea behind `hfmt`, and perhaps this ticket doesn't make any sense as the purpose of such formatting tools is to be opinionated (otherwise you destroy...
Hey @vincenthz ! This is one of a series of PR hitting different projects (namely `hs-pem`, `hs-asn1` and `hs-certificate`) aimed at improving the memory/time efficiency of these libraries and therefore...
Hey @felixhageloh ! First of all, thank you so much for this great app! I have stumbled upon (what seems to be) a bug, and to demonstrate it, I have...
Hello there, I'm a long time hsenv user, and I've always found it to be a life saver against cabal's hell. I'm a little upset to see that apparently despite...