89 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	47bedf67d8	Implement type spec of projection and enum types	2022-10-22 14:01:48 +09:00
Shunsuke Shibayama	b28c6bd118	Implement Record/TupleTypeSpec	2022-10-21 14:42:53 +09:00
Shunsuke Shibayama	03a36f48a3	Add raw identifier	2022-10-20 18:53:35 +09:00
Shunsuke Shibayama	45e34c6773	Add DictTypeSpec	2022-10-20 09:17:55 +09:00
Shunsuke Shibayama	cb4c2c7bbf	Implement subtype ascription	2022-10-19 19:04:50 +09:00
Shunsuke Shibayama	87170f9bb3	Implement module compatibility checking	2022-10-19 17:21:37 +09:00
Shunsuke Shibayama	e0d6b93abd	Remove rust-defined python modules	2022-10-19 01:50:14 +09:00
Shunsuke Shibayama	a0714b218c	Implement helper methods for AST/HIR construction	2022-10-18 18:30:09 +09:00
Shunsuke Shibayama	4bb367f258	Impl subroutine type with default parameters	2022-10-18 10:50:41 +09:00
Shunsuke Shibayama	d0456ec1ee	Implement default parameter	2022-10-18 10:27:57 +09:00
Shunsuke Shibayama	aa2b45bf86	Fix method call bug	2022-10-13 00:56:43 +09:00
Shunsuke Shibayama	9c3acc8e19	Implement ProjMethod	2022-10-11 16:08:49 +09:00
Shunsuke Shibayama	56779ab06e	WIP	2022-10-10 18:39:17 +09:00
Shunsuke Shibayama	c784ba261e	Merge branch 'main' into dict	2022-10-10 13:57:08 +09:00
Shunsuke Shibayama	de1180387c	Implement assert casting	2022-10-09 00:14:50 +09:00
Shunsuke Shibayama	f5c64a650c	Merge branch 'main' into dict	2022-10-08 13:53:12 +09:00
Shunsuke Shibayama	519e258fdc	Update ast.rs	2022-10-08 13:51:15 +09:00
Shunsuke Shibayama	3237212aa0	WIP	2022-10-08 13:32:26 +09:00
GreasySlug	597bfe7b99	Fix: unnecessary break line in ast	2022-10-08 13:23:32 +09:00
Shunsuke Shibayama	ec196d0695	Impl Dict parsing	2022-10-08 12:44:11 +09:00
Shunsuke Shibayama	2cf4b5aba8	Add SetTypeSpec	2022-10-07 10:59:58 +09:00
GreasySlug	7225aac2a4	Update: structurally displayed	2022-10-05 09:10:54 +09:00
GreasySlug	20cc00d173	Add: impl set with len and register builtin ctx	2022-10-04 08:32:57 +09:00
GreasySlug	bc63e9c9cb	Add: parse set literal	2022-10-03 17:00:00 +09:00
Shunsuke Shibayama	f548f9e6ef	Add type specification for array and range types	2022-09-28 00:05:23 +09:00
Shunsuke Shibayama	4d6c7f7590	Add d.er syntax	2022-09-26 21:49:33 +09:00
Shunsuke Shibayama	5aae4a69a5	Split cache between Python and Erg modules	2022-09-26 14:03:06 +09:00
Shunsuke Shibayama	6cfb0d1544	Prohibit inner scope type definition	2022-09-25 18:43:45 +09:00
Shunsuke Shibayama	8c50c6b423	Fix some visibility bugs	2022-09-21 21:28:37 +09:00
Shunsuke Shibayama	9b0d66a63a	Add "check" mode ... Input::File(String) -> Input::file(PathBuf)	2022-09-21 14:01:20 +09:00
Shunsuke Shibayama	201b313cd2	Add builder & linker	2022-09-21 01:21:17 +09:00
Shunsuke Shibayama	bd17bf3299	Add DefKind	2022-09-18 17:56:58 +09:00
Shunsuke Shibayama	aa527dcbc8	WIP: impl Trait	2022-09-17 01:42:49 +09:00
Shunsuke Shibayama	346d00fcd8	Impl UserConstSubr	2022-09-16 23:33:10 +09:00
Shunsuke Shibayama	91b7ba3c05	Add TypeAppArgs	2022-09-16 15:27:19 +09:00
Shunsuke Shibayama	424f82cf9e	Update Parser	2022-09-14 11:17:19 +09:00
Shunsuke Shibayama	b0a93b5d4f	Impl some unimplemented parsing methods	2022-09-10 22:44:04 +09:00
Shunsuke Shibayama	1947f7518a	Follow the latest changes and correct warnings	2022-09-10 21:33:13 +09:00
Yuna Tomida	d956c3f61d	Follow clippy warnings	2022-09-10 17:32:25 +09:00
Shunsuke Shibayama	c5f2d816af	Impl const accessing attributes	2022-09-10 16:32:03 +09:00
Shunsuke Shibayama	3895d29669	Fix visibility bugs	2022-09-10 01:42:23 +09:00
Shunsuke Shibayama	75f3444eb7	WIP: impl visibility validation	2022-09-09 17:08:05 +09:00
Shunsuke Shibayama	7a682db817	method_name: Option<Token> -> Option<Identifier>	2022-09-09 16:46:36 +09:00
Shunsuke Shibayama	4f69725811	Impl var_args code generating	2022-09-09 13:28:35 +09:00
Shunsuke Shibayama	60b7cce52e	Fix bugs related to Ref/RefMut	2022-09-08 13:47:49 +09:00
Shunsuke Shibayama	e3e8a7e63c	Impl Override feature	2022-09-08 09:53:32 +09:00
Shunsuke Shibayama	5029d71cbe	Impl: auto generating of new	2022-09-07 14:48:02 +09:00
Shunsuke Shibayama	1ae7633501	Merge branch 'main' into class	2022-09-06 21:55:53 +09:00
Shunsuke Shibayama	36aa226d10	Impl Linker	2022-09-06 14:43:01 +09:00
Shunsuke Shibayama	e860da2a15	WIP: impl type checker	2022-09-05 01:13:14 +09:00