64 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	ea8f1ea91f	feat: add Bytes methods	2024-08-10 18:40:46 +09:00
Shunsuke Shibayama	a302235c54	chore: fix clippy warns	2024-08-06 19:03:32 +09:00
Shunsuke Shibayama	22cd07a414	chore: improve overload error msg	2024-06-15 14:14:38 +09:00
Shunsuke Shibayama	bb0f4d20fc	chore: set recursion call limit to sub_unify	2024-05-17 17:20:18 +09:00
Shunsuke Shibayama	1c699cc2f3	feat: add Sealed trait	2024-04-27 13:52:15 +09:00
Shunsuke Shibayama	11f2b48853	feat: add Linter	2024-03-25 00:13:03 +09:00
Shunsuke Shibayama	95e675cccd	feat: array unpacking	2024-03-16 13:20:01 +09:00
Shunsuke Shibayama	f8b7717682	chore: remove __new__	2024-03-06 01:53:50 +09:00
Shunsuke Shibayama	c9438f215a	fix: compile-time eval bug	2024-02-23 23:03:34 +09:00
Shunsuke Shibayama	17625884b9	feat: add erg_compiler::compile_with_dependencies	2024-02-14 16:31:40 +09:00
Shunsuke Shibayama	6b681c5fd1	feat: add initializer, destructor syntax	2024-02-10 18:49:04 +09:00
Shunsuke Shibayama	3be5d75d05	fix: torch type decls	2024-02-03 20:51:58 +09:00
Shunsuke Shibayama	fb0248fdf1	fix: external pylib bugs	2023-12-06 18:31:03 +09:00
Shunsuke Shibayama	8b17c6cf6c	feat: make erg_compiler available as a Python lib	2023-11-15 11:20:10 +09:00
Shunsuke Shibayama	ed0f8e1d57	chore: impl some error conversions	2023-11-03 17:40:56 +09:00
Shunsuke Shibayama	51c7b0778d	chore: let HIRBuilder/ASTLowerer be generic	2023-11-03 03:03:11 +09:00
Shunsuke Shibayama	14729c94f4	chore: VarInfo.impl_of: Option<Type> -> ctx: ContextKind	2023-10-15 17:41:22 +09:00
Shunsuke Shibayama	a96445cca6	chore: improve effect error messages	2023-10-15 12:12:23 +09:00
Shunsuke Shibayama	e71c0d7720	chore: add Planner	2023-10-05 15:10:27 +09:00
Shunsuke Shibayama	c985fcb4d8	chore: instantiate_param_ty to be Failable	2023-09-30 11:13:37 +09:00
Shunsuke Shibayama	5497af5626	fix(els): duplicated diagnostics	2023-09-16 12:14:24 +09:00
Shunsuke Shibayama	5f8d744e47	chore: union/intersection subtyping	2023-09-05 09:45:15 +09:00
Shunsuke Shibayama	f1c44175f7	fix: eliminate todo!s	2023-08-18 13:03:38 +09:00
Shunsuke Shibayama	5ef1288113	fix: recursive type bug	2023-08-17 22:44:54 +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	bd023c70d2	chore: improve error display	2023-08-04 16:24:03 +09:00
Shunsuke Shibayama	f298db96d1	fix: warn unused type variables	2023-08-02 15:07:31 +09:00
Shunsuke Shibayama	456cc458fe	fix: error msg for illegal use of Self type	2023-06-23 20:30:35 +09:00
Slug	57e5a50e1b	Merge pull request #320 from GreasySlug/feature/parser-err ... Classify parser errors and use them - Internal error(parser bug) - Invalid/unintended syntax error	2023-06-09 22:29:35 +09:00
Shunsuke Shibayama	ce6a6dbecd	fix: typo	2023-06-09 22:23:25 +09:00
Shunsuke Shibayama	924b22a171	Merge branch 'main' into pr/320	2023-06-09 22:04:44 +09:00
Shunsuke Shibayama	d75ac0c17b	chore: add erg_common::io module	2023-06-09 12:11:13 +09:00
Shunsuke Shibayama	d4b78eb020	fix: distinguish between access to class/instance attr	2023-06-08 22:17:52 +09:00
GreasySlug	9f8746c4de	Merge branch 'main' of https://github.com/GreasySlug/erg into feature/parser-err	2023-06-04 20:50:51 +09:00
Cai Bingjun	47718b43e1	fix: modify Chinese error information	2023-06-04 14:49:40 +08:00
Shunsuke Shibayama	5052ebb077	feat: impl polymorphic type declaration	2023-06-04 01:34:20 +09:00
Shunsuke Shibayama	06001bfc13	feat: refinement type specification	2023-05-20 16:40:26 +09:00
Shunsuke Shibayama	36885e34c3	fix: boundary checking bugs	2023-05-05 00:52:31 +09:00
Shunsuke Shibayama	730886021e	feat: add special namespaces module/global	2023-05-03 14:32:09 +09:00
Shunsuke Shibayama	0b0c663792	fix: a type casting bug	2023-04-29 14:20:10 +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	0e8dee3cbf	feat: implement And type overloading	2023-04-24 21:43:46 +09:00
Shunsuke Shibayama	3c40fc35e9	fix: #193 ... and many bugs	2023-04-22 23:43:03 +09:00
Shunsuke Shibayama	daf01f3cf2	feat: add as operator	2023-04-19 15:20:46 +09:00
Shunsuke Shibayama	3cc168182b	feat: add typing.cast	2023-04-19 01:16:39 +09:00
Shunsuke Shibayama	d07ceb30e1	fix: sync_to_translation_status.er	2023-04-10 23:37:01 +09:00
Shunsuke Shibayama	fc85265d9f	fix: union types bug & multi-pattern def bug	2023-04-10 22:26:46 +09:00
Shunsuke Shibayama	018080be41	fix: nested array bugs	2023-04-05 11:47:15 +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	e232b6a518	fix: sub-unification problem	2023-03-31 00:37:09 +09:00