68 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	67a9f88f61	fix: sub unification bug	2024-02-16 18:31:49 +09:00
Shunsuke Shibayama	3173db429a	chore: add TraitImpl::declared_in	2024-02-11 13:55:17 +09:00
Shunsuke Shibayama	b7d9598d28	feat: add IrregularEq	2024-02-09 02:43:51 +09:00
Shunsuke Shibayama	ded10fc3d9	fix: nested module resolution bug	2024-02-01 11:22:20 +09:00
Shunsuke Shibayama	a6e7a39753	fix: nested module bug	2024-01-31 12:11:20 +09:00
Shunsuke Shibayama	d1fa616aea	feat: eval const call/lambda in refinement types ... rename: `Shape` -> `HasShape`	2024-01-29 18:10:26 +09:00
Shunsuke Shibayama	f0e47201bf	fix: param type instantiation bug	2024-01-29 13:20:40 +09:00
Shunsuke Shibayama	6b5af0ffb4	chore: fix type variance bug	2024-01-28 23:12:48 +09:00
Shunsuke Shibayama	366141b4a3	fix(els): don't show irrelevant parse errors	2024-01-27 16:18:00 +09:00
Shunsuke Shibayama	74d304a1b7	chore: get builtin module context without lock	2024-01-21 01:44:29 +09:00
Shunsuke Shibayama	8548ea89fe	fix: type-var resolution bug	2024-01-04 19:25:43 +09:00
Shunsuke Shibayama	b5f5876631	fix: closure bug	2023-12-28 23:31:09 +09:00
Shunsuke Shibayama	a2d1809cee	fix: cyclic reference modules bugs	2023-12-28 14:59:14 +09:00
Shunsuke Shibayama	26c758e67f	WIP: submodule resolution bug	2023-12-25 02:14:33 +09:00
Shunsuke Shibayama	21025096a3	fix: type-var instantiation bugs	2023-11-25 02:56:25 +09:00
Shunsuke Shibayama	962e010c29	fix: closure bug	2023-11-18 19:43:06 +09:00
Shunsuke Shibayama	e4a3bc1720	feat: add rsimport	2023-11-07 12:59:33 +09:00
Shunsuke Shibayama	34a20e7005	fix: forward reference bug for methods	2023-10-29 19:27:41 +09:00
Shunsuke Shibayama	6058339e3f	chore: add TypeContext, MethodContext	2023-10-29 17:33:21 +09:00
Shunsuke Shibayama	e61fdce4a5	fix: closure codegen bug	2023-10-20 12:26:57 +09:00
Shunsuke Shibayama	0bfd4044b5	fix: infer order bug	2023-10-19 01:47:20 +09:00
Shunsuke Shibayama	2d2c5dcdd7	fix: fast-value codegen bug	2023-10-15 23:29:49 +09:00
Shunsuke Shibayama	14729c94f4	chore: VarInfo.impl_of: Option<Type> -> ctx: ContextKind	2023-10-15 17:41:22 +09:00
Shunsuke Shibayama	fdb7c69431	chore: avoid type var recursion	2023-10-12 16:12:10 +09:00
Shunsuke Shibayama	f676f22d6c	fix: planner bug	2023-10-08 02:15:25 +09:00
Shunsuke Shibayama	6bbd71f8bd	chore: add Context::mod_cached	2023-10-07 15:16:16 +09:00
Shunsuke Shibayama	38f44e8d31	fix(els): use NormalizedPathBuf for AbsLocation	2023-09-13 23:26:05 +09:00
Shunsuke Shibayama	f4e1d494a4	fix: array type inferring	2023-08-06 22:51:13 +09:00
Shunsuke Shibayama	6c3536cc31	fix: declaration bugs	2023-07-31 11:08:53 +09:00
Shunsuke Shibayama	14b26a7f4d	chore: fix redundant type display	2023-07-30 17:12:32 +09:00
Shunsuke Shibayama	3eb2d439ca	fix: eliminate of unnecessary file escapes	2023-07-26 17:53:29 +09:00
Shunsuke Shibayama	e3b479ebf7	feat: polymorphic type class members	2023-07-14 01:53:06 +09:00
Shunsuke Shibayama	d2eaf0bef4	fix: case-sensitive renaming	2023-07-07 22:10:47 +09:00
Shunsuke Shibayama	03a42c6621	fix: cyclic modules accessing bug	2023-06-29 12:25:17 +09:00
Shunsuke Shibayama	3e137da0a1	WIP: support cyclic modules	2023-06-28 00:38:41 +09:00
Shunsuke Shibayama	798f22afa4	fix(els): incremental updating var-definition	2023-06-21 15:08:03 +09:00
Shunsuke Shibayama	1a4095077f	WIP	2023-06-15 10:49:09 +09:00
Shunsuke Shibayama	0d3691f243	Merge branch 'main' into rwlock	2023-06-10 17:45:08 +09:00
Shunsuke Shibayama	8e481399b4	chore: eliminate unsafe operations	2023-05-28 02:22:33 +09:00
Shunsuke Shibayama	33e1b776cb	feat: add ASTDiff and impl lazy compilation	2023-05-13 11:33:48 +09:00
Shunsuke Shibayama	0425dd8ddd	refactor: MethodInfo -> MethodPair	2023-05-11 13:58:34 +09:00
Shunsuke Shibayama	cf7c75dca8	fix: crash by inc_ref	2023-05-05 12:10:45 +09:00
Shunsuke Shibayama	730886021e	feat: add special namespaces module/global	2023-05-03 14:32:09 +09:00
Shunsuke Shibayama	66cac2ccc2	fix: bugs & remove TypeCmpCache	2023-04-27 13:10:33 +09:00
Shunsuke Shibayama	da300b0f02	feat(els): jump to parameter type definitions	2023-04-18 01:01:13 +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	3f66981c5c	refactor: py_compatible -> py_compat	2023-03-30 00:43:30 +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
Shunsuke Shibayama	ccf02405d8	feat: add ==/!= narrowing	2023-03-29 01:32:29 +09:00