Mesabloo
Mesabloo
> For `wcwidth`, I actually did not know about the `LC_ALL` thing. But the Haskell implementation (both the previous one and the one in my PR) should not depend on...
I see. That's a bit weird but I never really took a look at the Haskell implementation of `wcwidth` so I guess it makes sense. The negative return codes should...
> I actually quite like the Rust implementation, especially its signature: it returns an Option, which forces the user to explicitly handle the control characters. I have to admit that...
Oh hi there! > There is a mistake, on [WCWidthHaskell.hs:415](https://github.com/solidsnack/wcwidth/blob/master/Data/Char/WCWidthHaskell.hs?rgh-link-date=2022-09-04T17%3A36%3A54Z#L415) -- `32` should be `31`. This leads to ASCII whitespace being treated like a control character. This can be fixed...
This already looks nice! Although is it me or do the single-line `This` markers have an extra caret when going until EOL? > 1. In codespan-reporting the crate, there are...
> This is why I asked whether the source ranges should be closed or half-open (that is, should the larger end-point be inclusive or exclusive). I am currently assuming them...
Got hit by the same issue. Trying to use ALS with the v0.3.11 of agda-mode resulted in an endless "Loading ...", while the Emacs connection worked correctly. After checking the...
A quick glance at the source code of the expression linter yields this: https://github.com/sylefeb/Silice/blob/67ef97a0228d3bb22ff990c8c66194f0b09a2667/src/ExpressionLinter.cpp#L274-L282 https://github.com/sylefeb/Silice/blob/67ef97a0228d3bb22ff990c8c66194f0b09a2667/src/ExpressionLinter.cpp#L303-L306 As of now, unknown widths are not propagated, e.g. `45 + 55` has a width...
Thanks! I'll wait a bit before merging this PR. Given the current state of the `wcwidth` package on Hackage, I'd rather not include CI if it will fail for at...
I think it might be a good idea to do the same here, and also to document it (until a new version of `wcwidth` is uploaded to Hackage) for other...