73 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	d573d07f20	chore: enhance the compile-time evaluator	2023-05-04 22:12:58 +09:00
Shunsuke Shibayama	752640eb02	fix: Context::register_marker_trait	2023-05-04 13:35:40 +09:00
Shunsuke Shibayama	30d2dc52a3	feat: add SetIterator/TupleIterator	2023-05-04 00:00:09 +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	1cdbef671e	fix: py-compat mode bugs	2023-04-29 23:41:56 +09:00
Shunsuke Shibayama	1df51cb12c	feat: add IO! trait	2023-04-29 22:39:12 +09:00
Shunsuke Shibayama	0b0c663792	fix: a type casting bug	2023-04-29 14:20:10 +09:00
Shunsuke Shibayama	a96b0102cd	fix: dict subtyping bugs	2023-04-29 11:38:25 +09:00
Shunsuke Shibayama	1ef11fc2b9	feat(els): improve doc-comment display	2023-04-28 23:48:45 +09:00
Shunsuke Shibayama	219611b813	fix: display error instead of crash when ERG_PATH is not found	2023-04-27 16:44:06 +09:00
Shunsuke Shibayama	245d9eee84	fix: dict typing bugs	2023-04-27 15:51:56 +09:00
Shunsuke Shibayama	1e72cf20f1	fix: casting bugs	2023-04-27 13:58:15 +09:00
Shunsuke Shibayama	66cac2ccc2	fix: bugs & remove TypeCmpCache	2023-04-27 13:10:33 +09:00
Shunsuke Shibayama	b3e09f213f	fix: type inference failure of as operator ... Now the `as` operator is a kind of type ascription, i.e., a special operator.	2023-04-26 23:41:35 +09:00
Shunsuke Shibayama	0e8dee3cbf	feat: implement And type overloading	2023-04-24 21:43:46 +09:00
Shunsuke Shibayama	0e070b3572	fix(els): completion bug	2023-04-23 02:00:09 +09:00
Shunsuke Shibayama	3c40fc35e9	fix: #193 ... and many bugs	2023-04-22 23:43:03 +09:00
Shunsuke Shibayama	3fcd3ab9b1	feat: add Dict!	2023-04-20 11:34:04 +09:00
Shunsuke Shibayama	325d237f09	feat: add Dict.items/copy	2023-04-20 10:44:57 +09:00
Shunsuke Shibayama	e0d8306b3e	feat: add Dict.keys/values/get	2023-04-20 02:19:31 +09:00
Shunsuke Shibayama	7d7849b493	fix: unintended behavior for collections	2023-04-19 18:49:27 +09:00
Shunsuke Shibayama	daf01f3cf2	feat: add as operator	2023-04-19 15:20:46 +09:00
Shunsuke Shibayama	0d43299cce	fix: subroutine-subtyping bugs	2023-04-14 18:32:17 +09:00
Shunsuke Shibayama	2c1a6ffff2	fix: remove Tuple.__call__	2023-04-14 09:26:45 +09:00
Shunsuke Shibayama	a4ace1caae	feat: add Array!.d.er	2023-04-11 11:22:24 +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	824075f7ee	feat: add FrozenSet, MemoryView	2023-03-26 11:23:28 +09:00
Shunsuke Shibayama	9b3843b7a4	feat: add Complex, GenericArray, GenericSet	2023-03-24 11:47:46 +09:00
Shunsuke Shibayama	3940f7f36c	fix: add __call__ for builtin classes	2023-03-24 10:34:44 +09:00
Shunsuke Shibayama	a5ce33f2c4	refactor: inst (instance) -> imp (impl)	2023-03-19 23:24:00 +09:00
Shunsuke Shibayama	b40666d618	fix: subtyping bugs	2023-03-19 23:21:11 +09:00
Shunsuke Shibayama	0d8e574414	fix: add a field meta_t to TypeObj::Builtin	2023-03-13 13:07:35 +09:00
Shunsuke Shibayama	fd0f56579a	fix: aliasing bug	2023-03-13 07:03:31 +09:00
Shunsuke Shibayama	d3678b1780	fix: aliasing bug	2023-03-12 11:30:14 +09:00
Shunsuke Shibayama	c5848db951	fix: #408	2023-03-07 09:49:59 +09:00
Shunsuke Shibayama	fa2919e824	fix: bugs with enumeration of vars	2023-03-06 19:44:49 +09:00
Shunsuke Shibayama	d92f5284c8	feat: add restricted visibility syntax	2023-03-05 02:19:18 +09:00
Shunsuke Shibayama	8c8eff76a6	feat: add ContextManager	2023-03-03 16:06:03 +09:00
Shunsuke Shibayama	3d310714f1	feat: support var-args lambda function	2023-03-03 16:01:20 +09:00
Shunsuke Shibayama	cb00efca54	fix: minor bugs	2023-03-03 14:26:11 +09:00
Shunsuke Shibayama	1c8da7f049	fix: refinement types bugs	2023-03-03 13:44:05 +09:00
Shunsuke Shibayama	5c6ea316f5	chore: remove unnecessary params	2023-03-03 10:01:05 +09:00
Shunsuke Shibayama	923f8fbbaf	Update mod.rs	2023-02-25 10:11:11 +09:00
Shunsuke Shibayama	f604338d99	feat: add Pos/Neg trait	2023-02-24 15:38:04 +09:00
Shunsuke Shibayama	e944132cfc	feat: add init_py_builtin_operators	2023-02-24 15:21:25 +09:00
Shunsuke Shibayama	c9dda183ab	feat: implement Structural types	2023-02-23 01:37:54 +09:00