183 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	3366043a2d	fix: Dict::get	2024-09-21 20:06:26 +09:00
Shunsuke Shibayama	ff53af0cb6	feat: add RMul, RDiv ... * `And` has the default type index * impl `Dimension` traits	2024-09-20 20:36:55 +09:00
Shunsuke Shibayama	040811744e	Merge pull request #521 from erg-lang/perf_or_type ... Change And/Or-type structures	2024-09-18 14:31:37 +09:00
Shunsuke Shibayama	43828f6bb8	chore: continue checking even if AST-linking failed	2024-09-18 14:30:10 +09:00
Shunsuke Shibayama	461e91703a	fix: union type bug (2)	2024-09-16 00:54:47 +09:00
Shunsuke Shibayama	b0c31370c5	fix: Type::{And, Or}(Set<Type>)	2024-09-14 21:20:05 +09:00
Shunsuke Shibayama	82bc710827	fix: infinite recursion bug	2024-09-14 21:10:06 +09:00
Shunsuke Shibayama	f9eb562848	fix: infinite recursion bug ... add `Immutable` trait (Type: !Immutable)	2024-09-04 20:38:46 +09:00
Shunsuke Shibayama	fdca32f6a9	fix: eliminate panics	2024-08-28 21:20:13 +09:00
Shunsuke Shibayama	0868e5fb23	feat: error-tolerant lowering	2024-08-22 00:43:56 +09:00
Shunsuke Shibayama	d433bcbcce	feat: args expansion	2024-08-20 01:20:42 +09:00
Shunsuke Shibayama	06ec103b2e	feat: glob import (WIP)	2024-08-17 10:25:17 +09:00
Shunsuke Shibayama	cb2089135f	Update lower.rs	2024-08-10 19:59:22 +09:00
Shunsuke Shibayama	fef6711218	fix: default param type mismatch errors don't report	2024-08-08 14:39:40 +09:00
Shunsuke Shibayama	2f6717ba4f	build: update pyo3 to v0.21	2024-07-02 03:15:28 +09:00
Shunsuke Shibayama	6945d0c32e	fix: eliminate unwraps	2024-05-02 22:16:54 +09:00
Shunsuke Shibayama	1c699cc2f3	feat: add Sealed trait	2024-04-27 13:52:15 +09:00
Shunsuke Shibayama	4396695ad6	fix: default parameter bug	2024-04-24 13:54:56 +09:00
Shunsuke Shibayama	1f88084360	feat: best-effort type instantiation	2024-04-20 22:51:14 +09:00
Shunsuke Shibayama	c6eb78a44d	refactor!: rename Array -> List	2024-04-04 23:24:07 +09:00
Shunsuke Shibayama	21fcf23827	feat: enhance os type decls	2024-03-29 12:40:30 +09:00
Shunsuke Shibayama	56f06a0a1e	chore: eliminate unwraps	2024-03-25 15:14:48 +09:00
Shunsuke Shibayama	d7d422dfdc	feat: type narrowing with hasattr	2024-03-24 20:52:33 +09:00
Shunsuke Shibayama	ce5eafca9b	feat: improve record type narrowing	2024-03-24 18:18:09 +09:00
Shunsuke Shibayama	242171b280	fix: type narrowing bug	2024-03-23 23:54:44 +09:00
Shunsuke Shibayama	ccb2cceea1	fix: class definition bug	2024-03-22 19:43:33 +09:00
Shunsuke Shibayama	05fedc3742	Update lower.rs	2024-03-19 00:28:52 +09:00
Shunsuke Shibayama	fd873a1916	feat: argumen type narrowing	2024-03-17 20:57:13 +09:00
Shunsuke Shibayama	95e675cccd	feat: array unpacking	2024-03-16 13:20:01 +09:00
Shunsuke Shibayama	74e89f6d5b	fix: polymorphic type spec instantiation bugs	2024-03-13 22:35:08 +09:00
Shunsuke Shibayama	e38674945b	fix: type relation bugs	2024-03-13 12:40:43 +09:00
Slug	a136d6dc18	Merge pull request #253 from GreasySlug/fix/invalid-block ... Fix invalid expect block and support for multi-line errors	2024-03-06 23:52:12 +09:00
Shunsuke Shibayama	f8b7717682	chore: remove __new__	2024-03-06 01:53:50 +09:00
Shunsuke Shibayama	f612340e80	fix: range type definition bug	2024-02-26 01:35:41 +09:00
Shunsuke Shibayama	c74513f507	fix: eliminate unwraps	2024-02-24 23:02:59 +09:00
GreasySlug	b974f4ae5e	impl: expect the block	2024-02-20 23:41:41 +09:00
Shunsuke Shibayama	58514c5890	chore: add Subroutine & GenericCallable is now a trait	2024-02-07 13:23:09 +09:00
Shunsuke Shibayama	9c9f8b7a0a	fix: subtype relation bug	2024-02-03 19:36:27 +09:00
Shunsuke Shibayama	c75dc9c77a	Update lower.rs	2024-02-01 18:36:38 +09:00
Shunsuke Shibayama	ded10fc3d9	fix: nested module resolution bug	2024-02-01 11:22:20 +09:00
Shunsuke Shibayama	a6e7a39753	fix: nested module bug	2024-01-31 12:11:20 +09:00
Shunsuke Shibayama	7ed39e3281	fix: dependent refinement type bug	2024-01-30 01:06:03 +09:00
Shunsuke Shibayama	f0e47201bf	fix: param type instantiation bug	2024-01-29 13:20:40 +09:00
Shunsuke Shibayama	366141b4a3	fix(els): don't show irrelevant parse errors	2024-01-27 16:18:00 +09:00
Shunsuke Shibayama	ca04076f77	fix: path resolution bug	2024-01-26 19:30:41 +09:00
Shunsuke Shibayama	cfc2214bfb	fix: path handling bug	2024-01-21 02:26:58 +09:00
Shunsuke Shibayama	8548ea89fe	fix: type-var resolution bug	2024-01-04 19:25:43 +09:00
Shunsuke Shibayama	edfabd97e7	refactor: fix warns	2023-12-29 12:30:41 +09:00
Shunsuke Shibayama	cf726fe4a8	fix: array type bug	2023-12-29 12:09:59 +09:00
Shunsuke Shibayama	b5f5876631	fix: closure bug	2023-12-28 23:31:09 +09:00