199 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	0dd5ac0775	Merge branch 'main' into shape	2023-08-02 15:59:24 +09:00
Shunsuke Shibayama	f298db96d1	fix: warn unused type variables	2023-08-02 15:07:31 +09:00
Shunsuke Shibayama	6c3536cc31	fix: declaration bugs	2023-07-31 11:08:53 +09:00
Shunsuke Shibayama	1ea2c74aaa	chore: add TyParam::proj_call	2023-07-30 13:05:39 +09:00
Shunsuke Shibayama	17b44b1fa8	Merge pull request #444 from erg-lang/fix-443 ... Fix #443	2023-07-26 20:45:23 +09:00
Shunsuke Shibayama	3eb2d439ca	fix: eliminate of unnecessary file escapes	2023-07-26 17:53:29 +09:00
Shunsuke Shibayama	a64945e9d0	fix: false positive errors	2023-07-26 01:40:08 +09:00
Shunsuke Shibayama	0152e368ab	feat: support Array, Str, Bytes slice	2023-07-15 12:29:07 +09:00
Shunsuke Shibayama	e3b479ebf7	feat: polymorphic type class members	2023-07-14 01:53:06 +09:00
Shunsuke Shibayama	3f9e70bd9d	fix: Self type bugs	2023-07-08 13:17:09 +09:00
Shunsuke Shibayama	ed8125a468	fix: parameter type inferring bug ... fix: mtshiba/pylyzer#47	2023-07-03 16:19:29 +09:00
Shunsuke Shibayama	53cd052dc3	fix: module member resolution bug	2023-06-29 16:07:21 +09:00
Shunsuke Shibayama	03a42c6621	fix: cyclic modules accessing bug	2023-06-29 12:25:17 +09:00
Shunsuke Shibayama	e27cf8f9ad	fix: import bug	2023-06-21 14:40:29 +09:00
Shunsuke Shibayama	75f4c206f6	feat: parallelize the analysis process	2023-06-18 15:58:32 +09:00
Shunsuke Shibayama	0d3691f243	Merge branch 'main' into rwlock	2023-06-10 17:45:08 +09:00
Shunsuke Shibayama	8e481399b4	chore: eliminate unsafe operations	2023-05-28 02:22:33 +09:00
Shunsuke Shibayama	c31e93052b	fix: infinite recursion bugs	2023-05-25 18:03:43 +09:00
Shunsuke Shibayama	829b0d11b6	fix: module accessibility	2023-05-21 22:35:44 +09:00
Shunsuke Shibayama	379caacce9	fix: subtyping bugs	2023-05-20 21:43:53 +09:00
Shunsuke Shibayama	f39836abb0	fix: bugs generating unintended circular references	2023-05-18 18:38:44 +09:00
Shunsuke Shibayama	c8f71d78f9	refactor: resolve_* (Context -> Input)	2023-05-17 15:46:50 +09:00
Shunsuke Shibayama	7c47794dbe	fix: a crash when importing a module itself	2023-05-17 12:53:14 +09:00
Shunsuke Shibayama	bb17537178	feat: search site-packages with pyimport	2023-05-16 00:14:59 +09:00
Shunsuke Shibayama	e9ba860dc7	fix: path resolution order of importing	2023-05-13 13:10:53 +09:00
Shunsuke Shibayama	0425dd8ddd	refactor: MethodInfo -> MethodPair	2023-05-11 13:58:34 +09:00
Shunsuke Shibayama	c3da319e9f	feat: add zlib/hashlib	2023-05-07 22:15:24 +09:00
Shunsuke Shibayama	5c5c46d960	fix: __call__ resolution bug	2023-05-06 21:37:54 +09:00
Shunsuke Shibayama	d1dc1e60e7	Update inquire.rs	2023-05-04 00:14:07 +09:00
Shunsuke Shibayama	0603998bfc	chore: add Context::convert_value_into_type	2023-05-03 15:03:28 +09:00
Shunsuke Shibayama	730886021e	feat: add special namespaces module/global	2023-05-03 14:32:09 +09:00
Shunsuke Shibayama	3436b5eb02	Update inquire.rs	2023-05-02 23:40:27 +09:00
Shunsuke Shibayama	a55653d07c	Update inquire.rs	2023-04-30 20:07:06 +09:00
Shunsuke Shibayama	0b0c663792	fix: a type casting bug	2023-04-29 14:20:10 +09:00
Shunsuke Shibayama	1e72cf20f1	fix: casting bugs	2023-04-27 13:58:15 +09:00
Shunsuke Shibayama	0e8dee3cbf	feat: implement And type overloading	2023-04-24 21:43:46 +09:00
Shunsuke Shibayama	1767df5de2	chore: add error msg for debug_assert!	2023-04-23 11:17:10 +09:00
Shunsuke Shibayama	3c40fc35e9	fix: #193 ... and many bugs	2023-04-22 23:43:03 +09:00
Shunsuke Shibayama	ffd33015d5	fix: external type resolving	2023-04-18 10:49:02 +09:00
Shunsuke Shibayama	da300b0f02	feat(els): jump to parameter type definitions	2023-04-18 01:01:13 +09:00
Shunsuke Shibayama	9f110aeef4	fix: infinite recursion bug	2023-04-12 12:48:22 +09:00
Shunsuke Shibayama	7c8b8a66a1	fix: Context::union/intersection	2023-04-10 11:51:45 +09:00
Shunsuke Shibayama	018080be41	fix: nested array bugs	2023-04-05 11:47:15 +09:00
Shunsuke Shibayama	f39e05ff82	fix: improve error msg of get_attr_type_by_name	2023-04-02 12:36:53 +09:00
Shunsuke Shibayama	c8ecb9903e	refactor: Type::Fluctuation -> Type::Bounded	2023-04-01 22:52:02 +09:00
Shunsuke Shibayama	0329b1a2e3	chore: add Dereferencer	2023-04-01 18:08:15 +09:00
Shunsuke Shibayama	7c9970f140	fix: smallest type selection	2023-04-01 08:58:30 +09:00
Shunsuke Shibayama	e232b6a518	fix: sub-unification problem	2023-03-31 00:37:09 +09:00
Shunsuke Shibayama	3f66981c5c	refactor: py_compatible -> py_compat	2023-03-30 00:43:30 +09:00
Shunsuke Shibayama	d039e21628	feat: fix bugs	2023-03-29 21:03:07 +09:00