1163 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	f234daf5b2	build: update version (v0.6.30)	2024-02-06 11:53:20 +09:00
Shunsuke Shibayama	99cc321eb3	fix(lexer): comment indentation bug	2024-02-06 11:27:46 +09:00
Shunsuke Shibayama	30f615f390	fix(els): eliminate unwraps	2024-02-06 01:54:55 +09:00
Shunsuke Shibayama	2a24941e91	Merge pull request #484 from GreasySlug/main ... Wrap and Handle Python Ver Retrieval	2024-02-06 01:18:23 +09:00
GreasySlug	edd193a119	refactor: wrap and handle the py ver retrieval	2024-02-04 23:51:45 +09:00
Shunsuke Shibayama	96239b957c	fix: modulo operator bug	2024-02-04 18:11:30 +09:00
Shunsuke Shibayama	8189d1cfc4	fix: callable object bug	2024-02-02 02:24:43 +09:00
Shunsuke Shibayama	6018d0f841	chore: project_root_of -> project_root_dir_of	2024-02-01 20:54:35 +09:00
Shunsuke Shibayama	c75dc9c77a	Update lower.rs	2024-02-01 18:36:38 +09:00
Shunsuke Shibayama	37a9b024be	feat: enhance torch type decls	2024-02-01 16:35:47 +09:00
Shunsuke Shibayama	2b91f9879c	fix: submodule resolution bug	2024-02-01 16:01:12 +09:00
Shunsuke Shibayama	ded10fc3d9	fix: nested module resolution bug	2024-02-01 11:22:20 +09:00
Shunsuke Shibayama	83aae24317	fix: tqdm invalid type declaration	2024-01-31 12:26:10 +09:00
Shunsuke Shibayama	a6e7a39753	fix: nested module bug	2024-01-31 12:11:20 +09:00
Shunsuke Shibayama	20b1993714	Update inquire.rs	2024-01-31 02:37:16 +09:00
Shunsuke Shibayama	5122f28c95	Update register.rs	2024-01-31 01:48:45 +09:00
Shunsuke Shibayama	b58a542f8e	feat: add const Str::{isalpha, isascii, isdecimal}	2024-01-31 00:47:28 +09:00
Shunsuke Shibayama	bedf3e2f4b	fix: const Dict::{keys, values, items}	2024-01-30 15:01:19 +09:00
Shunsuke Shibayama	d6e6914662	feat: add const Str::{endswith, find, join, startswith}	2024-01-30 12:37:07 +09:00
Shunsuke Shibayama	284146843b	fix: refinement type bug	2024-01-30 12:18:27 +09:00
Shunsuke Shibayama	276583d8ef	feat: add const reversed/sum/Str::replace	2024-01-30 11:01:45 +09:00
Shunsuke Shibayama	7ed39e3281	fix: dependent refinement type bug	2024-01-30 01:06:03 +09:00
Shunsuke Shibayama	d748333a0f	feat: add const filter/max/min/not/str/zip	2024-01-29 20:54:30 +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	d59a4e82d3	feat: const abs/all/any/len/map	2024-01-29 13:29:39 +09:00
Shunsuke Shibayama	f0e47201bf	fix: param type instantiation bug	2024-01-29 13:20:40 +09:00
Shunsuke Shibayama	0f3d228997	fix: type-parameter unification bug	2024-01-29 02:09:24 +09:00
Shunsuke Shibayama	6b5af0ffb4	chore: fix type variance bug	2024-01-28 23:12:48 +09:00
Shunsuke Shibayama	ccb54e0115	feat!: remove dot, cross operator	2024-01-28 22:19:15 +09:00
Shunsuke Shibayama	06a4a6e5fc	feat: add Predicate::General{Less, Greater, Not}Equal	2024-01-28 20:24:14 +09:00
Shunsuke Shibayama	8350ad0581	chore: improve refinement types display	2024-01-28 19:34:03 +09:00
Shunsuke Shibayama	4393649ffc	feat: add Predicate::{Call, GeneralEqual}	2024-01-28 18:33:00 +09:00
Shunsuke Shibayama	2939c740a7	build: update version (nightly.0)	2024-01-27 17:04:16 +09:00
Shunsuke Shibayama	69bfe44314	feat(els): continue analysis as possible even if syntax errors occur	2024-01-27 17:01:50 +09:00
Shunsuke Shibayama	366141b4a3	fix(els): don't show irrelevant parse errors	2024-01-27 16:18:00 +09:00
Shunsuke Shibayama	8f352e9379	feat(els): crash recovery	2024-01-27 02:29:54 +09:00
Shunsuke Shibayama	8e59f08afd	fix(els): workspace diagnostics bug	2024-01-27 02:05:23 +09:00
Shunsuke Shibayama	910d5f62e9	fix(lexer): token location bug	2024-01-27 01:32:49 +09:00
Shunsuke Shibayama	ddefa6185e	Update pathlib.d.er	2024-01-26 21:49:46 +09:00
Shunsuke Shibayama	5e359d099e	chore(els): do not display internal error info	2024-01-26 19:49:07 +09:00
Shunsuke Shibayama	ca04076f77	fix: path resolution bug	2024-01-26 19:30:41 +09:00
Shunsuke Shibayama	efea5ae52f	fix: incomplete polymorphic type instantiation	2024-01-25 01:57:38 +09:00
Shunsuke Shibayama	0f8d645d77	fix: path resolution bug	2024-01-25 01:50:44 +09:00
Shunsuke Shibayama	a56342c695	chore: display module type (shortened) path	2024-01-24 22:51:12 +09:00
Shunsuke Shibayama	c514d0d83d	fix(els): rename not working	2024-01-24 22:15:58 +09:00
Shunsuke Shibayama	2fdf5224b5	build: update version (v0.6.29)	2024-01-23 02:28:48 +09:00
Shunsuke Shibayama	c6f84f0d1c	feat: import local packages	2024-01-23 02:06:09 +09:00
Shunsuke Shibayama	378567ad2d	feat(els): recognize packages	2024-01-22 13:08:15 +09:00
Shunsuke Shibayama	ab659ccb35	feat: import external packages	2024-01-22 11:43:38 +09:00
Shunsuke Shibayama	67fefd196c	feat(els): add Scheduler	2024-01-22 00:26:58 +09:00