964 commits

Author	SHA1	Message	Date
Lionel H	0dd9e0876f	feat(erg): add subclasshook method in abc.d.er ... Add __subclasshook__ magic method which is used to implement the logic that validates a class correctly conform to an interface. Signed-off-by: Lionel H <lionel.hubaut@dekimo.com>	2024-07-08 11:10:52 +02:00
Lionel H	2d8a673fee	fix(erg_compiler): fix typo in abc.d.er ... s/abstruct/abstract/g Because abstruct does not exists in Python ;) Signed-off-by: Lionel H <lionel.hubaut@dekimo.com>	2024-07-08 11:07:27 +02:00
Shunsuke Shibayama	fcfa50d8a3	feat: support python package diagnostics	2024-07-07 12:03:10 +09:00
Shunsuke Shibayama	1e23c6beb5	chore: add some helper methods	2024-07-06 20:35:22 +09:00
Shunsuke Shibayama	80394c6e6d	Update shutil.d.er	2024-07-05 23:35:07 +09:00
Shunsuke Shibayama	1b6928666e	chore: improve loc calculation	2024-07-05 20:08:51 +09:00
Shunsuke Shibayama	2f6717ba4f	build: update pyo3 to v0.21	2024-07-02 03:15:28 +09:00
Shunsuke Shibayama	d62bce689b	feat: add __future__, fnmatch, graphlib, zoneinfo	2024-06-30 13:13:38 +09:00
Shunsuke Shibayama	f299962ebc	feat: add email module	2024-06-22 11:32:48 +09:00
Shunsuke Shibayama	eb061f712b	Update typing.d.er	2024-06-22 10:50:02 +09:00
Shunsuke Shibayama	575df7485a	chore: fix mod_name	2024-06-19 16:28:48 +09:00
Shunsuke Shibayama	bc23f9d045	chore: improve Type::replace_failure	2024-06-19 01:35:18 +09:00
Shunsuke Shibayama	13eaf8d3a7	fix: eliminate unwrap/unreachable	2024-06-17 13:09:50 +09:00
Shunsuke Shibayama	2c9fe263ba	fix(els): continue analysis even if errors occur	2024-06-16 19:34:19 +09:00
Shunsuke Shibayama	ea6e3df982	chore: add log-level-error feature	2024-06-16 13:40:36 +09:00
Shunsuke Shibayama	325ab03b24	fix: ByteArray! is not defined	2024-06-15 14:48:13 +09:00
Shunsuke Shibayama	22cd07a414	chore: improve overload error msg	2024-06-15 14:14:38 +09:00
Shunsuke Shibayama	5cf3acbf16	chore: fix warnings	2024-06-15 12:20:57 +09:00
Shunsuke Shibayama	2282d12a92	fix: unification bug	2024-05-24 20:24:18 +09:00
Shunsuke Shibayama	cb385a86e4	chore: relax occur check ... fix #512	2024-05-24 19:08:36 +09:00
Shunsuke Shibayama	559b465888	fix: minor bugs	2024-05-22 16:33:10 +09:00
Shunsuke Shibayama	bb0f4d20fc	chore: set recursion call limit to sub_unify	2024-05-17 17:20:18 +09:00
Shunsuke Shibayama	dc7565cb26	fix: type generalization bug	2024-05-17 15:57:16 +09:00
Shunsuke Shibayama	dc1e32f5f4	fix(els): shared reference bugs	2024-05-12 16:37:35 +09:00
Shunsuke Shibayama	0f04d27c0e	chore: add Unifier::sub_unify_value	2024-05-08 14:18:37 +09:00
Shunsuke Shibayama	fa2c53461d	fix: generalization is not performed for some types	2024-05-07 22:31:17 +09:00
Shunsuke Shibayama	50787a075f	fix: #510	2024-05-03 13:29:31 +09:00
Shunsuke Shibayama	29a70b0632	chore: fix warnings	2024-05-02 23:03:58 +09:00
Shunsuke Shibayama	6945d0c32e	fix: eliminate unwraps	2024-05-02 22:16:54 +09:00
Shunsuke Shibayama	96f4c1cf98	feat: add {Str, List}.from	2024-04-30 18:44:31 +09:00
Shunsuke Shibayama	65d05cb37b	Update path.d.er	2024-04-30 11:45:41 +09:00
Shunsuke Shibayama	10d1d28022	Update classes.rs	2024-04-29 23:31:11 +09:00
Shunsuke Shibayama	e48311ee0c	fix: type inference bug	2024-04-28 22:30:52 +09:00
Shunsuke Shibayama	0ffa23affd	fix: trait parameter bug	2024-04-28 18:53:30 +09:00
Shunsuke Shibayama	02a67567d3	fix: tuple iterator bug	2024-04-28 15:28:20 +09:00
Shunsuke Shibayama	63dad2eb26	chore: fix isinstance/issubclass signature	2024-04-27 14:13:28 +09:00
Shunsuke Shibayama	1c699cc2f3	feat: add Sealed trait	2024-04-27 13:52:15 +09:00
Shunsuke Shibayama	86cfe8f81a	feat: add HomogenousTuple ... fix: iterator bugs	2024-04-27 00:28:03 +09:00
Shunsuke Shibayama	e220381fa2	feat: add some object methods	2024-04-26 12:39:58 +09:00
Shunsuke Shibayama	2887a77f70	fix: mutable type method access bug	2024-04-26 11:59:55 +09:00
Shunsuke Shibayama	44b4b8d82a	fix: trait impl check for declared classes	2024-04-26 01:18:25 +09:00
Shunsuke Shibayama	22c2016eae	feat: add errno, fileinput, ipaddress module type decls	2024-04-26 01:16:27 +09:00
Shunsuke Shibayama	3d7283cb01	fix: {default, variable} parameter bugs	2024-04-24 15:24:05 +09:00
Shunsuke Shibayama	4396695ad6	fix: default parameter bug	2024-04-24 13:54:56 +09:00
Shunsuke Shibayama	1da212565c	fix: type instantiation bugs	2024-04-21 00:46:31 +09:00
Shunsuke Shibayama	40c8342d9e	fix: declared_in is Some even if not exists	2024-04-20 23:28:23 +09:00
Shunsuke Shibayama	1f88084360	feat: best-effort type instantiation	2024-04-20 22:51:14 +09:00
Shunsuke Shibayama	f6ea1d1d79	feat: enhance http, urllib type decls	2024-04-16 10:23:54 +09:00
Shunsuke Shibayama	c7522b1d36	feat: enhance os, sys type decls	2024-04-14 20:41:01 +09:00
Shunsuke Shibayama	d46f84564b	feat: enhance array, io, os, struct type decls	2024-04-13 01:51:14 +09:00