13 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	bc6eb37e39	Improve: show candidates for unification of projection-types	2022-09-13 15:34:27 +09:00
Shunsuke Shibayama	4a8572a9fe	Fix type inference imcompleteness ... Add intersection type inference	2022-09-05 21:55:16 +09:00
Shunsuke Shibayama	de7832bf33	Implement variable-length/keyword arguments	2022-08-30 20:31:56 +09:00
Yuna Tomida	95c70f4aed	make debug log easier to see	2022-08-30 10:57:30 +09:00
Shunsuke Shibayama	026b891c22	WIP: Improve type inference system	2022-08-27 23:51:35 +09:00
Shunsuke Shibayama	d615274bfb	Fix checker bugs	2022-08-23 18:00:21 +09:00
Shunsuke Shibayama	9d60fe14f2	Update README.md	2022-08-19 13:12:15 +09:00
Shunsuke Shibayama	cafc941b10	Improve Parser debugging display	2022-08-19 12:32:40 +09:00
Shunsuke Shibayama	e36746f964	Fix Array type inference	2022-08-19 10:43:57 +09:00
Shunsuke Shibayama	842fe10353	Add language target: simplified/traditional chinese ... Ready for multilingualization. See /doc/EN/dev_guide/i18n_messages.md.	2022-08-18 16:31:35 +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_common/macros.rs (Browse further)