383 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	b2d77b3395	Revert: "fix: instance attributes can't be accessed statically" ... Reverts a849e7c057.	2024-10-03 21:53:38 +09:00
Shunsuke Shibayama	f862a3f13a	fix: collection bugs	2024-10-03 13:55:10 +09:00
Shunsuke Shibayama	80eae7654c	fix: dict type bugs	2024-10-02 21:26:59 +09:00
Shunsuke Shibayama	a290684db8	fix: method inference bug	2024-10-02 12:20:48 +09:00
Shunsuke Shibayama	a849e7c057	fix: instance attributes can't be accessed statically	2024-10-02 00:10:38 +09:00
Shunsuke Shibayama	a49081161b	fix: check subtype field types mismatch	2024-10-01 17:32:06 +09:00
Shunsuke Shibayama	144a05ec6b	fix: dict type bug	2024-09-28 00:29:48 +09:00
Shunsuke Shibayama	1954d27a63	fix: method resolution bug	2024-09-27 17:39:43 +09:00
Shunsuke Shibayama	6ed0a1d997	fix: type decl check does not performed	2024-09-22 01:25:31 +09:00
Shunsuke Shibayama	3366043a2d	fix: Dict::get	2024-09-21 20:06:26 +09:00
Shunsuke Shibayama	267c4a7761	fix: overload resolution bug	2024-09-21 15:55:14 +09:00
Shunsuke Shibayama	4651a383ae	feat: add Dimension and unit module	2024-09-20 18:26:29 +09:00
Shunsuke Shibayama	df837d70d3	fix: sub-unification bug	2024-09-17 17:32:13 +09:00
Shunsuke Shibayama	d87c5d552c	fix: function subtyping bug	2024-09-15 12:48:33 +09:00
Shunsuke Shibayama	9774a628fb	fix: refinement type bug	2024-09-15 01:20:10 +09:00
Slug	80b64260ab	Merge pull request #520 from GreasySlug/fix-comprehension ... Fix List Comprehension Syntax	2024-09-11 22:12:12 +09:00
GreasySlug	6834fbcb8b	fix(parser): fix comprehension syntax(#495)	2024-09-08 15:11:01 +09:00
Shunsuke Shibayama	68245272b0	test: display errors	2024-09-03 22:11:57 +09:00
Shunsuke Shibayama	d433bcbcce	feat: args expansion	2024-08-20 01:20:42 +09:00
Shunsuke Shibayama	33b0212002	feat: set type variable	2024-08-19 22:45:15 +09:00
Shunsuke Shibayama	b21d018adf	fix: __call__ overload bug	2024-08-13 13:02:14 +09:00
Shunsuke Shibayama	1523515204	fix: type coercion bug	2024-08-11 17:37:11 +09:00
Shunsuke Shibayama	0875c7e5c9	fix: structural type check	2024-08-09 13:38:04 +09:00
Shunsuke Shibayama	fef6711218	fix: default param type mismatch errors don't report	2024-08-08 14:39:40 +09:00
GreasySlug	33df21cbf2	add: too many instance attributes	2024-05-27 01:10:56 +09:00
Shunsuke Shibayama	cb385a86e4	chore: relax occur check ... fix #512	2024-05-24 19:08:36 +09:00
Shunsuke Shibayama	50787a075f	fix: #510	2024-05-03 13:29:31 +09:00
Shunsuke Shibayama	96f4c1cf98	feat: add {Str, List}.from	2024-04-30 18:44:31 +09:00
Shunsuke Shibayama	e48311ee0c	fix: type inference bug	2024-04-28 22:30:52 +09:00
Shunsuke Shibayama	0ffa23affd	fix: trait parameter bug	2024-04-28 18:53:30 +09:00
Shunsuke Shibayama	02a67567d3	fix: tuple iterator bug	2024-04-28 15:28:20 +09:00
Shunsuke Shibayama	63dad2eb26	chore: fix isinstance/issubclass signature	2024-04-27 14:13:28 +09:00
Shunsuke Shibayama	1c699cc2f3	feat: add Sealed trait	2024-04-27 13:52:15 +09:00
Shunsuke Shibayama	44b4b8d82a	fix: trait impl check for declared classes	2024-04-26 01:18:25 +09:00
Shunsuke Shibayama	3d7283cb01	fix: {default, variable} parameter bugs	2024-04-24 15:24:05 +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	4ac6276ba9	feat: add Iterable methods	2024-03-30 13:26:02 +09:00
Shunsuke Shibayama	11f2b48853	feat: add Linter	2024-03-25 00:13:03 +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	54bd111a5f	build: add bump_version.er	2024-03-24 00:55:01 +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	7d6ea6cf77	chore: add sub_unify_with_coercion	2024-03-21 14:00:26 +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
Shunsuke Shibayama	f8b7717682	chore: remove __new__	2024-03-06 01:53:50 +09:00