51 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	b0c31370c5	fix: Type::{And, Or}(Set<Type>)	2024-09-14 21:20:05 +09:00
Shunsuke Shibayama	f9eb562848	fix: infinite recursion bug ... add `Immutable` trait (Type: !Immutable)	2024-09-04 20:38:46 +09:00
Shunsuke Shibayama	5cf3acbf16	chore: fix warnings	2024-06-15 12:20:57 +09:00
Shunsuke Shibayama	c05432f141	feat(linter): add bool_comparison rule ... fix #504	2024-04-12 01:23:19 +09:00
GreasySlug	045e5c8064	fix: collections are handled similarly to multi-line str	2024-03-04 00:30:08 +09:00
GreasySlug	87cb7c3af5	fix: set the block begin when the it's evaluated	2024-03-03 14:24:03 +09:00
GreasySlug	436be4f0ff	fix: correct line offset on single line error ... The block begin is set only for a error, eval and special command	2024-02-29 10:21:09 +09:00
GreasySlug	b974f4ae5e	impl: expect the block	2024-02-20 23:41:41 +09:00
Shunsuke Shibayama	b838154c8c	fix: eliminate warns	2023-11-18 16:11:22 +09:00
Shunsuke Shibayama	8a793c7d59	chore: add New trait	2023-11-03 12:56:46 +09:00
Shunsuke Shibayama	b33ce38ed5	chore: add DefBody::pre_block	2023-09-20 12:32:25 +09:00
Shunsuke Shibayama	94b5fc27e9	chore(els): remove AnalysisResultCache	2023-09-14 19:39:18 +09:00
Shunsuke Shibayama	7729b73809	fix: dict iterators bug	2023-09-06 00:56:07 +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	98963cc643	feat(els): add document symbol	2023-09-02 15:09:59 +09:00
Shunsuke Shibayama	0c89ca99cd	chore: impl TryFrom<Expr> for $Variant	2023-09-02 00:55:51 +09:00
Shunsuke Shibayama	82792aca80	fix(els): caching bugs	2023-08-21 17:00:25 +09:00
Shunsuke Shibayama	a8a3316c17	chore: add LimitedDisplay::to_string_unabbreviated	2023-07-07 01:10:18 +09:00
Shunsuke Shibayama	7cc6f3e590	fix: hover bug	2023-06-21 13:46:21 +09:00
Shunsuke Shibayama	d75ac0c17b	chore: add erg_common::io module	2023-06-09 12:11:13 +09:00
Shunsuke Shibayama	324618dbdc	chore(parser): return AST and Warnings	2023-06-09 02:36:41 +09:00
Shunsuke Shibayama	33e1b776cb	feat: add ASTDiff and impl lazy compilation	2023-05-13 11:33:48 +09:00
Shunsuke Shibayama	755f06bab3	test: check the number of warnings	2023-04-01 21:53:22 +09:00
Shunsuke Shibayama	77e3f498ef	fix: file name collision problem of Input	2023-03-05 20:02:36 +09:00
Shunsuke Shibayama	4dcca2b06d	fix(typechecker): type generalization & dereference bugs ... * `Context::subtype_of` now has `allow_cast` param. If this is `false`, cast-aware comparisons are not performed.	2023-02-21 17:04:52 +09:00
Shunsuke Shibayama	5f6c8a3b2b	perf: reduce performing of .loc()	2023-02-15 03:27:08 +09:00
Shunsuke Shibayama	5d90029f09	perf: delaying execution of .loc()	2023-02-15 01:08:49 +09:00
Shunsuke Shibayama	f3fd5e3eeb	feat(els): support module renaming	2023-02-14 16:23:45 +09:00
Shunsuke Shibayama	ea4253279e	Merge pull request #391 from erg-lang/feature-els-file-cache ... Add `FileCache`	2023-02-09 00:16:37 +09:00
Shunsuke Shibayama	72b4425191	Merge pull request #362 from C-BJ/improve-repl ... feat(REPL): improve interactive experience	2023-02-08 11:16:36 +09:00
Shunsuke Shibayama	4571ced013	feat(els): implement file cache ... This change increases the efficiency of file IO and improves the accuracy of completions.	2023-02-08 04:04:20 +09:00
GreasrySlug	7a8fc44f29	fix(REPL): add assign block and inherit case	2023-02-06 16:42:53 +09:00
GreasrySlug	a498b906c4	fix(REPL): add the code	2023-02-06 15:12:16 +09:00
Shunsuke Shibayama	d8f4d14abd	feat(parser): add type_spec_to_expr	2023-02-06 12:04:15 +09:00
GreasrySlug	ded77b7111	chore: correction of mistake	2023-02-06 11:07:38 +09:00
GreasrySlug	d054750bf7	feat(REPL): add expect block of @ and classDef ... Class definition is now evaluated as chunk definition that come after the @ is error Flattened pattern match of BlockKind	2023-02-06 10:59:05 +09:00
Shunsuke Shibayama	a2a55b0645	refactor: rem impl_stream_for_wrapper and merge into impl_stream	2023-02-06 04:11:25 +09:00
GreasrySlug	ba4ef3941a	fix(REPL): indent depth 1 when multi line string	2023-02-05 12:51:13 +09:00
GreasySlug	beed07ec35	refactor: duplicate codes are put together	2023-02-04 22:07:12 +09:00
GreasySlug	dca7830e25	fix: add unsuccess test	2023-02-04 13:44:05 +09:00
Cai BingJun	126280ade5	clippy --all --fix and fmt	2023-02-04 10:43:51 +08:00
Cai BingJun	f02d03a054	fix bugs	2023-02-04 10:40:15 +08:00
GreasrySlug	79b116202d	fix: place at-sign in expect_block	2023-02-03 21:14:48 +09:00
GreasrySlug	7d88cb9541	add: vm struct for auto indent ... Indents are important, so force them to be For this purpose, added the struct to classify and handle block kind	2023-01-31 09:35:17 +09:00
Shunsuke Shibayama	e246fad74d	Fix #370	2023-01-28 12:54:42 +09:00
Shunsuke Shibayama	fa5bb4f615	fix #321 ... Add `ExitStatus` Fix REPL tests	2023-01-25 00:11:48 +09:00
Shunsuke Shibayama	1d24655588	Add REPL tests	2023-01-17 16:32:25 +09:00
Shunsuke Shibayama	dea05ef6e8	Add Bytes	2023-01-16 10:37:08 +09:00
Cai BingJun	4681afb09e	fix #344	2023-01-15 19:57:33 +08:00