238 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	a129141234	fix: incorrect typing & method resolution	2024-09-26 11:34:15 +09:00
Shunsuke Shibayama	1f5e9cbc9f	feat: add Generator ... * remove `GenericGenerator`	2024-09-22 21:49:11 +09:00
Shunsuke Shibayama	ebd7707f77	fix: traits can have impls	2024-09-21 22:42:56 +09:00
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	4651a383ae	feat: add Dimension and unit module	2024-09-20 18:26:29 +09:00
Shunsuke Shibayama	5009a0c499	feat: runtime collection type	2024-09-19 16:49:47 +09:00
Shunsuke Shibayama	9d88e8d7e7	fix: type variable linking bug	2024-09-17 02:00:51 +09:00
Shunsuke Shibayama	461e91703a	fix: union type bug (2)	2024-09-16 00:54:47 +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	de92e295dc	chore: add Float	2024-09-04 14:13:24 +09:00
Shunsuke Shibayama	b5092e7890	Merge pull request #518 from erg-lang/fix_inf_rec ... Fix infinite recursion bugs	2024-09-01 18:23:58 +09:00
Shunsuke Shibayama	9a05f22356	fix: infinite recursion bugs	2024-09-01 18:16:06 +09:00
Shunsuke Shibayama	0bc22e2b73	feat: add float func	2024-09-01 12:54:40 +09:00
Shunsuke Shibayama	fdca32f6a9	fix: eliminate panics	2024-08-28 21:20:13 +09:00
Shunsuke Shibayama	82551ad537	feat: impl some traits for frozenset	2024-08-22 14:31:39 +09:00
Shunsuke Shibayama	af360a52cc	fix: constructor typing	2024-08-20 22:26:02 +09:00
Shunsuke Shibayama	8eb8cd7c4a	chore: union method type	2024-08-19 12:30:23 +09:00
Shunsuke Shibayama	9682c0ddaf	Update classes.rs	2024-08-17 10:41:46 +09:00
Shunsuke Shibayama	2ff3194d69	feat: const classof func	2024-08-15 11:15:22 +09:00
Shunsuke Shibayama	b75325dbdb	Update classes.rs	2024-08-13 13:28:38 +09:00
Shunsuke Shibayama	79b1c1394d	feat: add ReDef.t_spec	2024-08-11 14:18:15 +09:00
Shunsuke Shibayama	ea8f1ea91f	feat: add Bytes methods	2024-08-10 18:40:46 +09:00
Shunsuke Shibayama	0875c7e5c9	fix: structural type check	2024-08-09 13:38:04 +09:00
Shunsuke Shibayama	dcbd328b78	feat: add List.index	2024-08-08 19:59:09 +09:00
Shunsuke Shibayama	13eaf8d3a7	fix: eliminate unwrap/unreachable	2024-06-17 13:09:50 +09:00
Shunsuke Shibayama	325ab03b24	fix: ByteArray! is not defined	2024-06-15 14:48:13 +09:00
Shunsuke Shibayama	22cd07a414	chore: improve overload error msg	2024-06-15 14:14:38 +09:00
Shunsuke Shibayama	559b465888	fix: minor bugs	2024-05-22 16:33:10 +09:00
Shunsuke Shibayama	dc7565cb26	fix: type generalization bug	2024-05-17 15:57:16 +09:00
Shunsuke Shibayama	fa2c53461d	fix: generalization is not performed for some types	2024-05-07 22:31:17 +09:00
Shunsuke Shibayama	96f4c1cf98	feat: add {Str, List}.from	2024-04-30 18:44:31 +09:00
Shunsuke Shibayama	10d1d28022	Update classes.rs	2024-04-29 23:31:11 +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	86cfe8f81a	feat: add HomogenousTuple ... fix: iterator bugs	2024-04-27 00:28:03 +09:00
Shunsuke Shibayama	e220381fa2	feat: add some object methods	2024-04-26 12:39:58 +09:00
Shunsuke Shibayama	2887a77f70	fix: mutable type method access bug	2024-04-26 11:59:55 +09:00
Shunsuke Shibayama	44b4b8d82a	fix: trait impl check for declared classes	2024-04-26 01:18:25 +09:00
Shunsuke Shibayama	40c8342d9e	fix: declared_in is Some even if not exists	2024-04-20 23:28:23 +09:00
Shunsuke Shibayama	1f88084360	feat: best-effort type instantiation	2024-04-20 22:51:14 +09:00
Shunsuke Shibayama	7f29316a98	feat: filter method can also narrow types	2024-04-05 00:38:38 +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	d881a6ae3e	feat: add FileDescriptor and enhance os decls	2024-03-23 11:28:56 +09:00
Shunsuke Shibayama	bd39393746	feat: type narrowing with filter	2024-03-21 11:56:17 +09:00
Shunsuke Shibayama	5345b07791	feat: implement the built-in trait entities	2024-03-20 16:53:03 +09:00
Shunsuke Shibayama	e38674945b	fix: type relation bugs	2024-03-13 12:40:43 +09:00
Shunsuke Shibayama	24141ea3f3	fix: import resolution	2024-03-12 23:38:39 +09:00