10 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	ed61bc3181	Stricter type-check	2022-08-17 12:31:28 +09:00
Shunsuke Shibayama	a039f7f672	Update lower.rs	2022-08-17 11:26:20 +09:00
Shunsuke Shibayama	4e91cb81cb	Merge branch 'main' into clippy	2022-08-17 01:26:00 +09:00
Shunsuke Shibayama	8028ed8431	Update version (v0.2.3) ... Many type inference bugs have been fixed in this version. Other changes: Fix: REPL server starts for file input Improve: Error messages now show operators as human-readable	2022-08-16 23:27:09 +09:00
Félix Saparelli	8efffbfbc0	Apply formatting	2022-08-15 17:44:15 +12:00
Félix Saparelli	7d3116f546	Apply trivial clippy fixes	2022-08-15 17:37:20 +12:00
Shunsuke Shibayama	1c3a3a7d0b	Cargo fmt	2022-08-14 01:45:15 +09:00
Shunsuke Shibayama	30f6e98715	Fix polymorphic type infering bugs ... Delete: DefaultParamSignarure Add: some convinient APIs (py, p!) Inferences can now be made that take into account the variance of polymorphic types	2022-08-14 00:45:55 +09:00
Shunsuke Shibayama	6726d93f65	Do cargo fmt	2022-08-13 07:02:07 +09:00
Shunsuke Shibayama	f9d91aa38e	Organize crates	2022-08-13 06:38:12 +09:00

Renamed from src/erg_compiler/lower.rs (Browse further)