Shunsuke Shibayama
Shunsuke Shibayama
I ran `cargo clippy` and fixed some warnings, but found that there were too many and some of them were extremely troublesome to fix. I would like to put this...
Oh I forgot to say that. I've already done. https://github.com/erg-lang/erg/commit/6726d93f65493a01c1c323658509d99a57fb601e
This issue has been solved with https://github.com/erg-lang/erg/commit/fa33a2003b9ed530178ff85d4a9cc2f564ceebcc. I have introduced [pre-commit](https://pre-commit.com), and I encourage everyone who sends PRs to use this.
It is not a proper error, but a panic. At least, this needs to be fixed.
Basically, yes. I use advanced and modern features of Rust in several pieces of code. However, I believe that formatting the code using `cargo fmt` or `clippy`, for example, can...
It looks good. I will adopt later.
This issue itself probably requires an understanding of the Rust language and an overall understanding of the Erg source code. I will put up an explanation of the Erg source...
I have tightened the type check and this is no longer passing. It seems that the type in the array is not being inferred.
Erg clearly goes beyond HM type inference since it has subtyping, refinement types, and dependent types as language features. The type checker is implemented as an `ASTLowerer`(and `Context`), which converts...
And now that this issue has been resolved, I will close it. If you have any questions, feel free to ask on the [discord channel](https://discord.gg/zfAAUbgGr4).