33 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	8f873109a2	Implement the return type warning	2022-12-16 18:07:07 +09:00
Shunsuke Shibayama	8528096a31	Fix type formatting	2022-12-14 08:04:48 +09:00
Shunsuke Shibayama	3ff1675770	Undo 954c6f75	2022-12-14 07:38:28 +09:00
Shunsuke Shibayama	954c6f752d	Fix a python module resolving bug	2022-12-14 06:37:43 +09:00
Shunsuke Shibayama	1142d327e5	Fix: arbitrary attributes of Failure type objects to be Failure	2022-12-11 23:32:28 +09:00
Shunsuke Shibayama	acb3eac043	Fix a refinement subtype checking bug	2022-12-10 13:18:07 +09:00
Shunsuke Shibayama	48f91f969b	Fix match crashes	2022-12-04 11:43:39 +09:00
Shunsuke Shibayama	9b1457b695	Fix #265	2022-12-01 23:02:06 +09:00
Shunsuke Shibayama	08a92bbbc1	Fix if codegen bugs	2022-11-30 23:58:19 +09:00
Shunsuke Shibayama	4d226dafcb	Fix #255	2022-11-29 14:06:10 +09:00
Shunsuke Shibayama	d26909c317	Improve type mismatch messages	2022-11-25 17:20:39 +09:00
Shunsuke Shibayama	7b53015b04	Add not & Fix while, for codegen bugs	2022-11-16 00:06:00 +09:00
Shunsuke Shibayama	89c3ada048	Implement coercion to search for attributes	2022-11-15 21:50:42 +09:00
Shunsuke Shibayama	a4c6009ec6	Implement record pattern for parameters	2022-11-09 18:14:02 +09:00
Shunsuke Shibayama	a9f65d73c1	Remove linter warnings	2022-11-05 03:17:05 +09:00
Shunsuke Shibayama	b0b755a49c	fix a bug of Type::qvars	2022-11-04 15:47:42 +09:00
Shunsuke Shibayama	968d3b5d2c	Fix trait implementation check	2022-10-28 18:03:35 +09:00
Shunsuke Shibayama	c1318352f7	Fix some bugs	2022-10-27 18:41:15 +09:00
Shunsuke Shibayama	3757a7d935	Delete comment out	2022-10-27 10:23:58 +09:00
Shunsuke Shibayama	9d022ba4e1	Optimize type inferer	2022-10-27 10:12:08 +09:00
Shunsuke Shibayama	308f6a77dd	Optimize type inferer	2022-10-27 10:10:51 +09:00
Shunsuke Shibayama	d56549f528	Change Eq(R) to Eq	2022-10-25 01:53:52 +09:00
Shunsuke Shibayama	329274e2cd	Implement match!	2022-10-23 01:21:18 +09:00
Shunsuke Shibayama	09b5f00305	Fix name resolving bug	2022-10-20 07:43:21 +09:00
Shunsuke Shibayama	e0d6b93abd	Remove rust-defined python modules	2022-10-19 01:50:14 +09:00
Shunsuke Shibayama	46b87e1ca3	Fix: variable to have VarInfo instead of Type	2022-10-18 00:25:47 +09:00
Shunsuke Shibayama	72e8242843	Fix bugs	2022-10-13 18:27:13 +09:00
Shunsuke Shibayama	983f87c35f	Fix stack overflow	2022-10-13 17:37:44 +09:00
Shunsuke Shibayama	173815b2d9	Fix tyvar instantiating bug	2022-10-13 13:33:44 +09:00
Shunsuke Shibayama	aa2b45bf86	Fix method call bug	2022-10-13 00:56:43 +09:00
Shunsuke Shibayama	fe339a7dc7	Fix pyimport bug	2022-10-13 00:23:14 +09:00
Shunsuke Shibayama	378dc1e6fc	Delete ArrayType, etc.	2022-10-12 16:14:06 +09:00
Shunsuke Shibayama	6c4e1dca35	Downgrade erg_type from crate to module ... This is to allow `ConstSubr` to have a `Context`	2022-10-12 02:28:25 +09:00

Renamed from compiler/erg_type/lib.rs (Browse further)