Junyoung/"Clare" Jang
Junyoung/"Clare" Jang
Is there any news?
The problem is caused by hint/error distinction and how error merge works. ``` (try (sym "a" >> empty) sym "b") pure () ===> ((error [] at 1) sym "b") pure...
Actually coq icon is already in https://github.com/domtronn/all-the-icons.el/blob/facbde4a7be292bf9490932cbe403b443273f45d/data/data-fileicons.el#L97 so I guess it's only the matter of Agda icon and configuration change.
Unfortunately as far as I can see it does not contain the version... According to https://github.com/file-icons/icons/blob/master/charmap.md, it looks like both Coq and Agda are in the latest file-icons, so can...
OK, I will send a PR when I have enough time.
@patrickmichalina @JohannesHome Sorry for bothering you with same repeated idea. I recently built https://github.com/Ailrun/typed-f and I believe these packages satisfy all usage with `strictNullChecks`. However, this package is still in...
@JohannesHome Oh, thank you for feedback. However, even with following type, ```typescript Maybe.from(value?: null): Nothing; ``` Following code will give you wrong type. ```typescript const test: string | undefined =...
@JohannesHome Following code will give you better explanation. ```typescript function x(test: string | undefined) { const from = Maybe.from(test); return from.valueOr(1); // Give you an error! } ``` Your code...
@JohannesHome ~It will give you `Nothing`, not `Nothing`. To be clear, this is because of TS inference, not because of some typing of the library. See https://www.typescriptlang.org/play/index.html#src=interface%20Test%3CT%3E%20%7B%0D%0A%20%20v%3A%20T%3B%0D%0A%7D%0D%0Adeclare%20function%20x%3CT%3E(v%3A%20T%20%7C%20undefined)%3A%20Test%3CT%3E%3B%0D%0Aconst%20t%3A%20string%20%7C%20undefined%20%3D%20undefined%3B%0D%0Aconst%20y%20%3D%20x(t)%3B%0D%0Aconst%20test1%3A%20Test%3Cstring%3E%20%3D%20y%3B%0D%0Aconst%20test2%3A%20Test%3Cundefined%3E%20%3D%20y%3B%0D%0A~
@JohannesHome These are all because TS knows what the value of `test` is in compile time, since you declare `const test: string | undefined = undefined`. As I said, TS...