538 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	4f93c393c0	fix: trait registering bugs	2023-08-12 23:31:44 +09:00
Shunsuke Shibayama	3c88aee6be	Merge pull request #447 from erg-lang/shape ... Enhance compile-time verification capabilities	2023-08-10 08:11:40 +09:00
Shunsuke Shibayama	91d0ac3545	feat: add Array.get	2023-08-09 23:51:52 +09:00
Shunsuke Shibayama	187259a008	fix: trait bound bug	2023-08-07 22:43:03 +09:00
Shunsuke Shibayama	d46ce0ff0c	chore: add Substituter	2023-08-07 21:25:17 +09:00
Shunsuke Shibayama	b7ca9a16f3	refactor: Type::update_constraint	2023-08-07 01:08:59 +09:00
Shunsuke Shibayama	f4e1d494a4	fix: array type inferring	2023-08-06 22:51:13 +09:00
Shunsuke Shibayama	142db9b697	refactor: link -> destructive_link	2023-08-06 20:13:45 +09:00
Shunsuke Shibayama	5dec24a3bf	Merge branch 'main' into shape	2023-08-06 19:26:51 +09:00
Shunsuke Shibayama	07679238bc	chore: add Unifier	2023-08-06 19:25:31 +09:00
Shunsuke Shibayama	debac5726e	fix: undoable link	2023-08-06 01:02:34 +09:00
Shunsuke Shibayama	b5ff509b5d	fix: sub-unification bug	2023-08-04 20:05:18 +09:00
Shunsuke Shibayama	bd023c70d2	chore: improve error display	2023-08-04 16:24:03 +09:00
Shunsuke Shibayama	b45041e926	fix: refinement subtyping bug	2023-08-04 16:12:57 +09:00
Shunsuke Shibayama	278039c75b	Merge branch 'main' into shape	2023-08-02 18:43:43 +09:00
Shunsuke Shibayama	b7b1588594	fix: namespace bug	2023-08-02 18:41:28 +09:00
Shunsuke Shibayama	0dd5ac0775	Merge branch 'main' into shape	2023-08-02 15:59:24 +09:00
Shunsuke Shibayama	f298db96d1	fix: warn unused type variables	2023-08-02 15:07:31 +09:00
Shunsuke Shibayama	0b63e037ec	Merge branch 'main' into shape	2023-08-02 10:51:16 +09:00
Shunsuke Shibayama	c63000f153	fix: quantification of And types	2023-08-02 10:45:07 +09:00
Shunsuke Shibayama	6c3536cc31	fix: declaration bugs	2023-07-31 11:08:53 +09:00
Shunsuke Shibayama	14b26a7f4d	chore: fix redundant type display	2023-07-30 17:12:32 +09:00
Shunsuke Shibayama	05cc170f3f	fix: undo leak	2023-07-30 16:51:52 +09:00
Shunsuke Shibayama	df7dbcda4b	chore: let const funcs return TyParam instead of ValueObj	2023-07-30 15:02:32 +09:00
Shunsuke Shibayama	1ea2c74aaa	chore: add TyParam::proj_call	2023-07-30 13:05:39 +09:00
Shunsuke Shibayama	664f265716	WIP	2023-07-28 00:27:04 +09:00
Shunsuke Shibayama	17b44b1fa8	Merge pull request #444 from erg-lang/fix-443 ... Fix #443	2023-07-26 20:45:23 +09:00
Shunsuke Shibayama	3eb2d439ca	fix: eliminate of unnecessary file escapes	2023-07-26 17:53:29 +09:00
Shunsuke Shibayama	a64945e9d0	fix: false positive errors	2023-07-26 01:40:08 +09:00
Shunsuke Shibayama	9308a910ca	fix: #442	2023-07-24 09:32:31 +09:00
Shunsuke Shibayama	072d62f7b3	fix: reduce unreachables	2023-07-15 12:40:23 +09:00
Shunsuke Shibayama	0152e368ab	feat: support Array, Str, Bytes slice	2023-07-15 12:29:07 +09:00
Shunsuke Shibayama	579615d76e	feat: add Slice	2023-07-14 23:45:13 +09:00
Shunsuke Shibayama	8a47c4bd18	chore: remove dyn	2023-07-14 19:59:28 +09:00
Shunsuke Shibayama	e3b479ebf7	feat: polymorphic type class members	2023-07-14 01:53:06 +09:00
Shunsuke Shibayama	9025fe7e99	feat: add bin/oct/hex literal	2023-07-12 16:31:39 +09:00
Shunsuke Shibayama	3f9e70bd9d	fix: Self type bugs	2023-07-08 13:17:09 +09:00
Shunsuke Shibayama	7d696b5aa5	fix: subtyping bug	2023-07-07 23:45:45 +09:00
Shunsuke Shibayama	74e1ae8dfc	feat: add todo ... * fix: default params display	2023-07-07 22:37:45 +09:00
Shunsuke Shibayama	d2eaf0bef4	fix: case-sensitive renaming	2023-07-07 22:10:47 +09:00
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