134 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	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	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	325ab03b24	fix: ByteArray! is not defined	2024-06-15 14:48:13 +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	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	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	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	8f68f55c91	feat: add To{Bool, Int, Float}, Round	2024-03-12 12:45:09 +09:00
Shunsuke Shibayama	0e1c0a9a13	feat: add Exception classes	2024-03-11 20:35:11 +09:00
Shunsuke Shibayama	0fb996f289	feat: add Copy trait	2024-03-03 16:22:14 +09:00
GreasySlug	37e0b7832f	fix: typing error in var names	2024-02-26 23:04:26 +09:00
GreasySlug	eba80469a6	clean: add and use const str	2024-02-26 23:04:26 +09:00
Shunsuke Shibayama	f612340e80	fix: range type definition bug	2024-02-26 01:35:41 +09:00
Shunsuke Shibayama	47818e431e	chore: remove clone method	2024-02-24 00:27:13 +09:00
Shunsuke Shibayama	1d1c6f4fbc	fix: python script backend bug	2024-02-19 02:26:18 +09:00
Shunsuke Shibayama	48cdd2462d	feat: add Array.repeat	2024-02-12 01:38:52 +09:00
Shunsuke Shibayama	3173db429a	chore: add TraitImpl::declared_in	2024-02-11 13:55:17 +09:00
Shunsuke Shibayama	2a26cc8a1d	Merge pull request #485 from erg-lang/torch_d ... Change constructor syntax	2024-02-09 23:41:18 +09:00
Shunsuke Shibayama	e5c8f177ba	feat: add HasScalarType	2024-02-09 18:37:33 +09:00
Shunsuke Shibayama	66352ddd3a	feat: add const Array::{insert, remove_at, remove_all}	2024-02-09 12:47:17 +09:00
Shunsuke Shibayama	b7d9598d28	feat: add IrregularEq	2024-02-09 02:43:51 +09:00
Shunsuke Shibayama	58514c5890	chore: add Subroutine & GenericCallable is now a trait	2024-02-07 13:23:09 +09:00
Shunsuke Shibayama	757f387d91	feat: add callable function	2024-02-06 14:36:40 +09:00
Shunsuke Shibayama	c75dc9c77a	Update lower.rs	2024-02-01 18:36:38 +09:00
Shunsuke Shibayama	276583d8ef	feat: add const reversed/sum/Str::replace	2024-01-30 11:01:45 +09:00
Shunsuke Shibayama	d1fa616aea	feat: eval const call/lambda in refinement types ... rename: `Shape` -> `HasShape`	2024-01-29 18:10:26 +09:00
Shunsuke Shibayama	d59a4e82d3	feat: const abs/all/any/len/map	2024-01-29 13:29:39 +09:00
Shunsuke Shibayama	4393649ffc	feat: add Predicate::{Call, GeneralEqual}	2024-01-28 18:33:00 +09:00
Shunsuke Shibayama	951c85a344	feat: add exception module	2024-01-04 21:41:24 +09:00
Shunsuke Shibayama	6de8355a25	refactor: std -> core	2024-01-04 17:26:26 +09:00
Shunsuke Shibayama	767d51d48b	feat: function downcasting ... FIXME: This downcast is unsound, function inputs, output should be checked at runtime	2023-12-31 09:03:40 +09:00
Shunsuke Shibayama	80872fc50e	fix: keyword argument bugs	2023-12-29 17:00:11 +09:00
Shunsuke Shibayama	a2d1809cee	fix: cyclic reference modules bugs	2023-12-28 14:59:14 +09:00
Shunsuke Shibayama	868609f95a	feat: add format, help!	2023-12-15 22:55:10 +09:00
Shunsuke Shibayama	30a6f84e5f	feat: add erg_compiler/erg_parser type decls	2023-11-18 16:04:51 +09:00
Shunsuke Shibayama	4407999c19	feat: add SubrType::kw_var_params	2023-11-12 12:22:48 +09:00
Shunsuke Shibayama	e4a3bc1720	feat: add rsimport	2023-11-07 12:59:33 +09:00
Shunsuke Shibayama	ebf803dab0	feat: add Float.nearly_eq	2023-11-07 02:30:08 +09:00
Shunsuke Shibayama	6058339e3f	chore: add TypeContext, MethodContext	2023-10-29 17:33:21 +09:00
Shunsuke Shibayama	01ffde469a	feat: Dict.as_record	2023-10-25 19:46:32 +09:00