98 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	cfd0d259a0	chore: improve subr type mismatch hint	2023-09-13 16:39:49 +09:00
Shunsuke Shibayama	8a1911cece	fix: method inferring	2023-09-05 21:54:08 +09:00
Shunsuke Shibayama	edd80e4543	fix: subtract overflow	2023-09-05 20:59:01 +09:00
Shunsuke Shibayama	712d4e2b73	feat: bidi for containers	2023-09-05 19:38:33 +09:00
Shunsuke Shibayama	75b5b68831	feat: introduce bidirectional type checking	2023-09-05 16:44:38 +09:00
Shunsuke Shibayama	d6d278f99f	chore(els): improve workspace symbol	2023-09-03 16:24:39 +09:00
Shunsuke Shibayama	0c89ca99cd	chore: impl TryFrom<Expr> for $Variant	2023-09-02 00:55:51 +09:00
Shunsuke Shibayama	653993f637	fix: const record member definition	2023-08-26 16:44:00 +09:00
Shunsuke Shibayama	f3b188e095	feat: support recursive class definition	2023-08-25 21:02:47 +09:00
Shunsuke Shibayama	936b6e2f95	chore: eliminate clippy warns	2023-08-24 23:38:27 +09:00
Shunsuke Shibayama	dc7e0a341d	feat: enhance assert casting	2023-08-23 01:52:16 +09:00
Shunsuke Shibayama	89f9c428b1	fix: assert casting bug	2023-08-22 11:45:07 +09:00
Shunsuke Shibayama	f2ad45878a	feat: add Hash trait	2023-08-20 17:33:42 +09:00
Shunsuke Shibayama	2e9fb48f2e	fix: in operator ... * remove `In` trait, `__in__`, `__notin__` function * desugar to `__contains__` * impl Collection for Array, Set, Tuple	2023-08-13 01:01:06 +09:00
Shunsuke Shibayama	f4e1d494a4	fix: array type inferring	2023-08-06 22:51:13 +09:00
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	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	072d62f7b3	fix: reduce unreachables	2023-07-15 12:40:23 +09:00
Shunsuke Shibayama	ddb483c2cf	fix: minor bugs	2023-06-25 23:06:40 +09:00
Shunsuke Shibayama	eaeb659a7d	fix: errors in other modules are ignored	2023-06-22 16:32:10 +09:00
Shunsuke Shibayama	798f22afa4	fix(els): incremental updating var-definition	2023-06-21 15:08:03 +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	8c983c3714	merge from main	2023-05-28 10:39:54 +09:00
Shunsuke Shibayama	8e481399b4	chore: eliminate unsafe operations	2023-05-28 02:22:33 +09:00
Shunsuke Shibayama	06001bfc13	feat: refinement type specification	2023-05-20 16:40:26 +09:00
Shunsuke Shibayama	33e1b776cb	feat: add ASTDiff and impl lazy compilation	2023-05-13 11:33:48 +09:00
Shunsuke Shibayama	ffb7e4bbba	fix: import bugs	2023-05-05 17:32:51 +09:00
Shunsuke Shibayama	730886021e	feat: add special namespaces module/global	2023-05-03 14:32:09 +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	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	3cc168182b	feat: add typing.cast	2023-04-19 01:16:39 +09:00
Shunsuke Shibayama	943ee32db2	fix: external module errors were ignored	2023-04-18 19:47:04 +09:00
Shunsuke Shibayama	839133863f	feat: enhance assert casting	2023-04-16 23:32:52 +09:00
Shunsuke Shibayama	5eb680cb21	fix: #415	2023-04-16 21:13:48 +09:00
Shunsuke Shibayama	4a46e8f5a8	chore(els): display hover etc. even when check fails	2023-04-11 18:55:09 +09:00
Shunsuke Shibayama	fc85265d9f	fix: union types bug & multi-pattern def bug	2023-04-10 22:26:46 +09:00
Shunsuke Shibayama	0c47c95f25	feat: check doc comments by the compiler	2023-04-06 23:41:24 +09:00
Shunsuke Shibayama	755f06bab3	test: check the number of warnings	2023-04-01 21:53:22 +09:00
Shunsuke Shibayama	0329b1a2e3	chore: add Dereferencer	2023-04-01 18:08:15 +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	37ef01c89a	feat: comparison narrowing	2023-03-29 15:35:45 +09:00
Shunsuke Shibayama	5876c24830	feat: isinstance narrowing	2023-03-29 11:24:53 +09:00