67 commits

Author	SHA1	Message	Date
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
Shunsuke Shibayama	ccf02405d8	feat: add ==/!= narrowing	2023-03-29 01:32:29 +09:00
Shunsuke Shibayama	bf8cf61c7e	refactor: use if let instead of option_enum_unwrap	2023-03-25 10:23:58 +09:00
Shunsuke Shibayama	bf50ec289a	Update inquire.rs	2023-03-25 00:25:28 +09:00
Shunsuke Shibayama	9710b8c0cc	feat(els): impl module/alias definition jump	2023-03-24 22:46:02 +09:00
Shunsuke Shibayama	4ff0b64fc3	fix: type-instantiating bugs	2023-03-23 21:17:37 +09:00
Shunsuke Shibayama	0079aed860	fix: sub-unification bugs	2023-03-22 15:38:47 +09:00
Shunsuke Shibayama	b318395a32	fix: avoid infinite recursion bugs	2023-03-22 01:28:22 +09:00
Shunsuke Shibayama	ebf41b514e	fix: access violation bug caused by sub_unify ... add structural method types inferring	2023-03-21 00:09:26 +09:00
Shunsuke Shibayama	57588c78f7	fix: attribute inffering	2023-03-20 20:30:31 +09:00
Shunsuke Shibayama	98a1a0292e	fix: structural types bugs	2023-03-20 13:43:25 +09:00
Shunsuke Shibayama	a5ce33f2c4	refactor: inst (instance) -> imp (impl)	2023-03-19 23:24:00 +09:00
Shunsuke Shibayama	fd99524bbe	fix: union/intersection types bugs	2023-03-17 10:18:23 +09:00
Shunsuke Shibayama	3ff0eb8f65	fix: improve match error messages	2023-03-17 00:13:43 +09:00
Shunsuke Shibayama	2afd47a24a	fix: change ParamTy structure	2023-03-17 00:11:30 +09:00
Shunsuke Shibayama	29b725423d	fix: internal representation of user-defined types	2023-03-16 01:00:13 +09:00
Shunsuke Shibayama	5a386a7481	fix: type aliasing bug	2023-03-13 15:25:28 +09:00
Shunsuke Shibayama	fd0f56579a	fix: aliasing bug	2023-03-13 07:03:31 +09:00
Shunsuke Shibayama	359a030347	Update inquire.rs	2023-03-12 12:31:01 +09:00
Shunsuke Shibayama	b4fff87858	fix: aliasing bug	2023-03-12 11:01:59 +09:00
Shunsuke Shibayama	ee0366cfb4	fix: constant attribute searching bugs	2023-03-11 14:21:15 +09:00
Shunsuke Shibayama	8f64853dad	fix: type spec instantiating bug	2023-03-10 20:35:17 +09:00
Shunsuke Shibayama	814748a6be	fix: constraints instantiation bug	2023-03-08 11:06:08 +09:00
Shunsuke Shibayama	1dae378678	test: add inherit.er	2023-03-07 21:48:52 +09:00
Shunsuke Shibayama	826d9ef8d2	Update inquire.rs	2023-03-07 19:39:49 +09:00
Shunsuke Shibayama	a73a6b8022	fix: get_singular_ctx_* -> get_singular_ctxs_*	2023-03-07 19:06:21 +09:00
Shunsuke Shibayama	b1a9f7bf40	fix: eliminate panics	2023-03-06 13:52:07 +09:00
Shunsuke Shibayama	d92f5284c8	feat: add restricted visibility syntax	2023-03-05 02:19:18 +09:00
Shunsuke Shibayama	5c6ea316f5	chore: remove unnecessary params	2023-03-03 10:01:05 +09:00
Shunsuke Shibayama	0495dd3d1b	fix: eliminate unreachable errors	2023-03-02 10:51:01 +09:00
Shunsuke Shibayama	1aa83f140a	chore(els): improve signature help	2023-02-27 12:01:09 +09:00
Shunsuke Shibayama	af3c912b17	feat: support tqdm	2023-02-25 01:58:37 +09:00
Shunsuke Shibayama	50c476b66f	fix: path-related bugs	2023-02-25 00:54:11 +09:00