261 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	4393649ffc	feat: add Predicate::{Call, GeneralEqual}	2024-01-28 18:33:00 +09:00
Shunsuke Shibayama	a56342c695	chore: display module type (shortened) path	2024-01-24 22:51:12 +09:00
Shunsuke Shibayama	2ddff1512f	fix: const call bug	2023-12-30 21:53:38 +09:00
Shunsuke Shibayama	80872fc50e	fix: keyword argument bugs	2023-12-29 17:00:11 +09:00
Shunsuke Shibayama	edfabd97e7	refactor: fix warns	2023-12-29 12:30:41 +09:00
Shunsuke Shibayama	a2d1809cee	fix: cyclic reference modules bugs	2023-12-28 14:59:14 +09:00
Shunsuke Shibayama	905a03d578	fix: external type specification bug	2023-12-13 23:33:06 +09:00
Shunsuke Shibayama	4f02d6ce2d	fix: dict type inference bug	2023-12-12 13:28:35 +09:00
Shunsuke Shibayama	529d3892bf	fix: container type inference bugs	2023-12-11 00:15:13 +09:00
Shunsuke Shibayama	21025096a3	fix: type-var instantiation bugs	2023-11-25 02:56:25 +09:00
Shunsuke Shibayama	30a6f84e5f	feat: add erg_compiler/erg_parser type decls	2023-11-18 16:04:51 +09:00
Shunsuke Shibayama	663a0824ad	feat: var-kwargs codegen	2023-11-14 02:17:47 +09:00
Shunsuke Shibayama	88940aa878	Update free.rs	2023-11-14 01:19:49 +09:00
Shunsuke Shibayama	4407999c19	feat: add SubrType::kw_var_params	2023-11-12 12:22:48 +09:00
Shunsuke Shibayama	a6336fa896	feat: support inherited refinement types	2023-10-31 12:24:41 +09:00
Shunsuke Shibayama	678c02faf9	feat: support refinement class	2023-10-31 02:23:50 +09:00
Shunsuke Shibayama	6713ffeaae	fix: forward-referenced method inference bug	2023-10-29 21:24:40 +09:00
Shunsuke Shibayama	01ffde469a	feat: Dict.as_record	2023-10-25 19:46:32 +09:00
Shunsuke Shibayama	a2a26e4584	Merge pull request #465 from erg-lang/closure2 ... fix closure codegen bug	2023-10-24 09:33:28 +09:00
Shunsuke Shibayama	ac0ca49724	fix: attribute completion	2023-10-22 14:48:35 +09:00
Shunsuke Shibayama	4b4ec163aa	Merge branch 'main' into closure	2023-10-21 14:05:29 +09:00
Shunsuke Shibayama	8c5d70ca4f	fix: infinite tyvar recursion bug	2023-10-20 23:10:47 +09:00
Shunsuke Shibayama	e61fdce4a5	fix: closure codegen bug	2023-10-20 12:26:57 +09:00
Shunsuke Shibayama	4012b323d5	fix: closure codegen bug	2023-10-19 18:10:03 +09:00
Shunsuke Shibayama	06898bd793	chore: improve type inference system	2023-10-18 16:46:06 +09:00
Shunsuke Shibayama	5096843bc5	fix: array type inffering	2023-10-16 23:16:39 +09:00
Shunsuke Shibayama	14729c94f4	chore: VarInfo.impl_of: Option<Type> -> ctx: ContextKind	2023-10-15 17:41:22 +09:00
Shunsuke Shibayama	a8c1113df7	fix: minor bugs	2023-10-14 19:39:07 +09:00
Shunsuke Shibayama	fdb7c69431	chore: avoid type var recursion	2023-10-12 16:12:10 +09:00
Shunsuke Shibayama	92bb79885a	fix: type spec bug	2023-10-08 00:07:13 +09:00
Shunsuke Shibayama	13a346e488	feat: add Dict.concat/diff, Dict!.merge!/remove!	2023-10-05 00:57:08 +09:00
Shunsuke Shibayama	24da5cdfbd	fix: [x; _] bug	2023-10-02 22:50:17 +09:00
Shunsuke Shibayama	cce95e7210	fix: crack crash	2023-10-02 21:50:59 +09:00
Shunsuke Shibayama	f1d71e0dab	feat: add [x; _] literal	2023-10-02 20:49:21 +09:00
Shunsuke Shibayama	cb66bcabaa	Update mod.rs	2023-10-01 13:11:44 +09:00
Shunsuke Shibayama	162581611d	fix: relaxing occur checks	2023-10-01 11:53:29 +09:00
Shunsuke Shibayama	f6d08a9dfd	fix: attribute resolving	2023-09-16 20:27:20 +09:00
Shunsuke Shibayama	cfd0d259a0	chore: improve subr type mismatch hint	2023-09-13 16:39:49 +09:00
Shunsuke Shibayama	509f9c4fe3	fix: pyc execution	2023-09-06 12:18:37 +09:00
Shunsuke Shibayama	75b5b68831	feat: introduce bidirectional type checking	2023-09-05 16:44:38 +09:00
Shunsuke Shibayama	5f8d744e47	chore: union/intersection subtyping	2023-09-05 09:45:15 +09:00
Shunsuke Shibayama	8d8a1b5d53	fix: closure codegen bug	2023-08-29 00:37:05 +09:00
Shunsuke Shibayama	4acace41de	chore: embed lambda id	2023-08-28 18:39:10 +09:00
Shunsuke Shibayama	0cf2522ac3	fix: const quantified lambda	2023-08-26 23:44:26 +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	9db6e5fa4d	fix: bytecode reader	2023-08-24 14:17:49 +09:00
Shunsuke Shibayama	dc7e0a341d	feat: enhance assert casting	2023-08-23 01:52:16 +09:00
Shunsuke Shibayama	3724a74649	fix: undo leak bug & sub-unification bugs	2023-08-22 21:45:25 +09:00