Alfredo Di Napoli
Alfredo Di Napoli
I am :) Leave it to me, Alfredo.
@maxpow4h I started, then our business needs steered away from that, and we didn't feel the urge to implement such module. You are certainly welcome to go for it :)
@aristidb I know, my bad, but with the everyday fray is much easier to ask about progress :) I'll try to be more responsive in the future.
@ranjitjhala using the latest `HEAD` I can't reproduce this anymore. Would you be able to try the testcase again at some point in the future and let me know? The...
Interestingly enough, using `first` from `Data.Bifunctor` works just fine using one of those "fully instantiated" examples that @plredmond posted: ```haskell {-@ LIQUID "--reflection" @-} module T1772 where import Data.Bifunctor (first)...
> Can anyone explain why the lib works as expected (the false is parsed) but not the client? I might be totally off track, but here is my guess: ~~the...
I think that @kosmikus did some work in this area. I'd be happy to close this one if we are decently happy with the new status quo.
A handy picture which can help fixing this in memory (no pun intended):  Apart from the `begin` and `end` pointers, this resemble what we are trying to achieve.
@vincenthz Maybe this is a totally dumb idea (it came to me under the shower 😂 ) but I was thinking that we could enhance the information we store in...
Ah, perfect, thanks @ndmitchell ! I guess we should stick to the KISS principle with this one, seems the best course of action for now. > but I can't immediately...