574 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	06c14c35e5	chore: add Token::col_end	2023-08-27 16:49:01 +09:00
Shunsuke Shibayama	f6763fcfdf	feat: enhance sys/platform type definitions	2023-08-27 13:58:11 +09:00
Shunsuke Shibayama	9c1e32db06	Update sys.d.er	2023-08-27 13:23:23 +09:00
Shunsuke Shibayama	0cf2522ac3	fix: const quantified lambda	2023-08-26 23:44:26 +09:00
Shunsuke Shibayama	b5ee614c53	Update eval.rs	2023-08-26 22:28:52 +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	46c7982335	chore: eliminate todo!s	2023-08-24 23:54:31 +09:00
Shunsuke Shibayama	936b6e2f95	chore: eliminate clippy warns	2023-08-24 23:38:27 +09:00
Shunsuke Shibayama	2035824b58	Update transpile.rs	2023-08-24 19:10:25 +09:00
Shunsuke Shibayama	9db6e5fa4d	fix: bytecode reader	2023-08-24 14:17:49 +09:00
Shunsuke Shibayama	01fae890a4	Merge pull request #451 from erg-lang/fix-els ... Enhance ELS stability	2023-08-23 18:20:13 +09:00
Shunsuke Shibayama	75081ac3aa	fix: type-parameter unification	2023-08-23 18:02:04 +09:00
Shunsuke Shibayama	b9c4357038	fix: refinement subtyping	2023-08-23 12:12:55 +09:00
Shunsuke Shibayama	fd6e75a435	Merge branch 'main' into fix-els	2023-08-23 01:52:40 +09:00
Shunsuke Shibayama	dc7e0a341d	feat: enhance assert casting	2023-08-23 01:52:16 +09:00
Shunsuke Shibayama	148e4d76e7	Merge branch 'main' into fix-els	2023-08-22 21:47:04 +09:00
Shunsuke Shibayama	3724a74649	fix: undo leak bug & sub-unification bugs	2023-08-22 21:45:25 +09:00
Shunsuke Shibayama	062fc61599	Merge branch 'main' into fix-els	2023-08-22 14:15:52 +09:00
Shunsuke Shibayama	97afccb94a	fix: predicate instantiation bug	2023-08-22 14:13:06 +09:00
Shunsuke Shibayama	b5787cb697	Merge branch 'main' into fix-els	2023-08-22 11:47:22 +09:00
Shunsuke Shibayama	89f9c428b1	fix: assert casting bug	2023-08-22 11:45:07 +09:00
Shunsuke Shibayama	bcd4e4deb7	chore: add safe_yield	2023-08-21 22:50:08 +09:00
Shunsuke Shibayama	82792aca80	fix(els): caching bugs	2023-08-21 17:00:25 +09:00
Shunsuke Shibayama	f2ad45878a	feat: add Hash trait	2023-08-20 17:33:42 +09:00
Shunsuke Shibayama	a0ce142f7b	chore: add record examples	2023-08-20 10:58:33 +09:00
Shunsuke Shibayama	5e71bd7fd0	feat: add Record.as_dict()	2023-08-20 02:02:53 +09:00
Shunsuke Shibayama	2966497ad6	feat: add Str methods	2023-08-20 00:07:08 +09:00
Shunsuke Shibayama	6ce41ef8bd	fix: record type subtyping	2023-08-19 23:30:34 +09:00
Shunsuke Shibayama	95595ef67c	fix: array type checking bug	2023-08-19 22:04:06 +09:00
Shunsuke Shibayama	5affa5065f	fix: dynamic type checking bugs	2023-08-19 16:34:07 +09:00
Shunsuke Shibayama	a6b72ea636	Update codegen.rs	2023-08-19 01:34:20 +09:00
Shunsuke Shibayama	fa2a59ae83	feat: support json backend	2023-08-18 22:19:19 +09:00
Shunsuke Shibayama	4e50075774	Update shutil.d.er	2023-08-18 13:38:22 +09:00
Shunsuke Shibayama	f1c44175f7	fix: eliminate todo!s	2023-08-18 13:03:38 +09:00
Shunsuke Shibayama	2e8810f10d	fix: occur check bug	2023-08-18 11:57:54 +09:00
Shunsuke Shibayama	5ac0012255	Merge branch 'main' into named_tuple	2023-08-18 02:12:37 +09:00
Shunsuke Shibayama	5ef1288113	fix: recursive type bug	2023-08-17 22:44:54 +09:00
Shunsuke Shibayama	efcf23b04d	fix: iterator bugs	2023-08-17 20:01:05 +09:00
Shunsuke Shibayama	927de74eee	chore: add Self substitution	2023-08-17 19:25:17 +09:00
Shunsuke Shibayama	8323dd4094	Merge branch 'main' into named_tuple	2023-08-17 16:53:38 +09:00
Shunsuke Shibayama	ed245f6c08	fix: self typing bug	2023-08-17 16:52:50 +09:00
Shunsuke Shibayama	9454896d5a	WIP	2023-08-17 16:43:26 +09:00
Shunsuke Shibayama	ea0089f7df	feat: add Type::NamedTuple	2023-08-17 02:00:44 +09:00
Shunsuke Shibayama	bcebe04f3a	Update link_hir.rs	2023-08-16 21:28:09 +09:00
Shunsuke Shibayama	bb613c20d6	fix: runtime args bug	2023-08-16 20:52:12 +09:00
Shunsuke Shibayama	6a925f38bd	fix(els): hover ... * show type difinitions	2023-08-16 19:57:55 +09:00
Shunsuke Shibayama	efbad81475	feat(els): support inlay hint resolve	2023-08-16 19:06:37 +09:00
Shunsuke Shibayama	83beaea214	fix: type substitution bugs	2023-08-15 13:55:21 +09:00
Shunsuke Shibayama	28d173758f	chore: add TyParam::DataClass	2023-08-15 01:23:53 +09:00