298 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	9e6f1ffa9a	fix: refinement types bug	2023-07-03 19:51:33 +09:00
Shunsuke Shibayama	ed8125a468	fix: parameter type inferring bug ... fix: mtshiba/pylyzer#47	2023-07-03 16:19:29 +09:00
Shunsuke Shibayama	53cd052dc3	fix: module member resolution bug	2023-06-29 16:07:21 +09:00
Shunsuke Shibayama	7f2c0301e2	Update register.rs	2023-06-29 15:09:01 +09:00
Shunsuke Shibayama	bfc403af09	fix: path resolution bug	2023-06-29 14:54:15 +09:00
Shunsuke Shibayama	03a42c6621	fix: cyclic modules accessing bug	2023-06-29 12:25:17 +09:00
Shunsuke Shibayama	51a66108a1	fix: thread joining bug	2023-06-28 17:26:24 +09:00
Shunsuke Shibayama	3e137da0a1	WIP: support cyclic modules	2023-06-28 00:38:41 +09:00
Shunsuke Shibayama	c181fc4ff6	fix: dict subtyping bug	2023-06-26 10:29:20 +09:00
Shunsuke Shibayama	456cc458fe	fix: error msg for illegal use of Self type	2023-06-23 20:30:35 +09:00
Shunsuke Shibayama	eaeb659a7d	fix: errors in other modules are ignored	2023-06-22 16:32:10 +09:00
Shunsuke Shibayama	798f22afa4	fix(els): incremental updating var-definition	2023-06-21 15:08:03 +09:00
Shunsuke Shibayama	e27cf8f9ad	fix: import bug	2023-06-21 14:40:29 +09:00
Shunsuke Shibayama	75f4c206f6	feat: parallelize the analysis process	2023-06-18 15:58:32 +09:00
Shunsuke Shibayama	97ef1561e6	Merge branch 'main' into rwlock	2023-06-17 13:59:50 +09:00
Shunsuke Shibayama	1a4095077f	WIP	2023-06-15 10:49:09 +09:00
Shunsuke Shibayama	28459166bf	chore: add do_avoiding_recursion	2023-06-14 23:41:56 +09:00
Shunsuke Shibayama	f23a178737	Merge branch 'main' into rwlock	2023-06-12 00:05:01 +09:00
Shunsuke Shibayama	26be281137	fix: infinte recursion bug	2023-06-10 23:04:23 +09:00
Shunsuke Shibayama	0d3691f243	Merge branch 'main' into rwlock	2023-06-10 17:45:08 +09:00
Shunsuke Shibayama	393a018fb9	chore: eliminate thread_local!	2023-06-10 16:07:50 +09:00
Shunsuke Shibayama	d6f30924f1	chore: add FreshNameGenerator	2023-06-10 15:31:26 +09:00
Shunsuke Shibayama	5ea48ab88e	fix: desugaring leaks	2023-06-10 13:46:10 +09:00
Shunsuke Shibayama	0840d9bf60	fix: subtyping bug	2023-06-10 11:16:30 +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
Shunsuke Shibayama	1cbe2de706	fix: __new__ method definition bug	2023-06-08 12:37:58 +09:00
Shunsuke Shibayama	ef30a05708	fix: discard params	2023-06-08 02:33:33 +09:00
Shunsuke Shibayama	4851826b3a	fix: type-specification bug	2023-06-07 21:31:12 +09:00
Shunsuke Shibayama	c8ea6f6c9b	fix: nested polymorphic type check bug	2023-06-06 00:04:18 +09:00
Shunsuke Shibayama	95af482e22	fix: path resolution bug & subtyping bug	2023-06-05 13:07:06 +09:00
Shunsuke Shibayama	a8abb7709e	fix: type declaration bugs	2023-06-04 16:48:21 +09:00
Shunsuke Shibayama	5052ebb077	feat: impl polymorphic type declaration	2023-06-04 01:34:20 +09:00
Shunsuke Shibayama	4137a07b70	chore(els): impl hover/jump for type specification	2023-06-02 10:54:31 +09:00
Shunsuke Shibayama	1d0657c544	fix: overload subtyping	2023-06-01 19:36:25 +09:00
Shunsuke Shibayama	c17d3d147a	refactor: Context::register_methods	2023-05-31 11:13:36 +09:00
Shunsuke Shibayama	b8b312caad	chore: eliminate unsafe operations	2023-05-28 10:31:39 +09:00
Shunsuke Shibayama	980be54590	merge from main	2023-05-28 10:01:00 +09:00
Shunsuke Shibayama	8e481399b4	chore: eliminate unsafe operations	2023-05-28 02:22:33 +09:00
Shunsuke Shibayama	0bb8856f19	merge	2023-05-27 23:19:09 +09:00
Shunsuke Shibayama	7049faf144	fix: eliminate unsafe type-var updating	2023-05-27 23:09:15 +09:00
Shunsuke Shibayama	0e42ab03ca	feat: let Shared: Send + Sync	2023-05-27 20:41:28 +09:00
Shunsuke Shibayama	c31e93052b	fix: infinite recursion bugs	2023-05-25 18:03:43 +09:00
Shunsuke Shibayama	4af0c4c799	feat: add special variables module/global	2023-05-25 16:37:38 +09:00
Shunsuke Shibayama	30eac6dbcf	feat: add tempfile module	2023-05-25 14:20:22 +09:00
Shunsuke Shibayama	dab9def08a	fix: retry path resolution if failed	2023-05-25 11:58:09 +09:00
Shunsuke Shibayama	a9025507d3	fix: path resolution bugs	2023-05-25 11:25:02 +09:00
Shunsuke Shibayama	ac7a57a094	fix: path resolution bug	2023-05-21 23:30:31 +09:00
Shunsuke Shibayama	829b0d11b6	fix: module accessibility	2023-05-21 22:35:44 +09:00
Shunsuke Shibayama	379caacce9	fix: subtyping bugs	2023-05-20 21:43:53 +09:00