107 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	b826d05d8f	chore: add Token::new_fake	2023-08-27 17:16:36 +09:00
Shunsuke Shibayama	06c14c35e5	chore: add Token::col_end	2023-08-27 16:49:01 +09:00
Shunsuke Shibayama	e61c0c485e	fix: discarded variable bug	2023-08-14 21:45:40 +09:00
Shunsuke Shibayama	2e9fb48f2e	fix: in operator ... * remove `In` trait, `__in__`, `__notin__` function * desugar to `__contains__` * impl Collection for Array, Set, Tuple	2023-08-13 01:01:06 +09:00
Shunsuke Shibayama	f4e1d494a4	fix: array type inferring	2023-08-06 22:51:13 +09:00
Shunsuke Shibayama	0dd5ac0775	Merge branch 'main' into shape	2023-08-02 15:59:24 +09:00
Shunsuke Shibayama	f298db96d1	fix: warn unused type variables	2023-08-02 15:07:31 +09:00
Shunsuke Shibayama	6c3536cc31	fix: declaration bugs	2023-07-31 11:08:53 +09:00
Shunsuke Shibayama	072d62f7b3	fix: reduce unreachables	2023-07-15 12:40:23 +09:00
Shunsuke Shibayama	953b5806b5	Update ast.rs	2023-07-12 14:27:35 +09:00
Shunsuke Shibayama	3f9e70bd9d	fix: Self type bugs	2023-07-08 13:17:09 +09:00
Shunsuke Shibayama	74e1ae8dfc	feat: add todo ... * fix: default params display	2023-07-07 22:37:45 +09:00
Shunsuke Shibayama	324618dbdc	chore(parser): return AST and Warnings	2023-06-09 02:36:41 +09:00
Shunsuke Shibayama	4137a07b70	chore(els): impl hover/jump for type specification	2023-06-02 10:54:31 +09:00
Shunsuke Shibayama	74103e5a1a	feat(els): implement inline variables	2023-05-28 22:40:22 +09:00
Shunsuke Shibayama	06001bfc13	feat: refinement type specification	2023-05-20 16:40:26 +09:00
Shunsuke Shibayama	0b0badfef4	chore: fix minor bugs	2023-05-17 19:56:28 +09:00
Shunsuke Shibayama	b8a87c0591	Update ast.rs	2023-05-10 23:32:03 +09:00
Shunsuke Shibayama	0603998bfc	chore: add Context::convert_value_into_type	2023-05-03 15:03:28 +09:00
Shunsuke Shibayama	730886021e	feat: add special namespaces module/global	2023-05-03 14:32:09 +09:00
Shunsuke Shibayama	456201fb49	fix: type-spec parsing bugs	2023-05-02 22:46:37 +09:00
Shunsuke Shibayama	bd95ab8221	fix: PreDeclTypeSpec bugs ... SimpleTypeSpec -> Identifier/PolyTypeSpec	2023-04-30 19:29:47 +09:00
Shunsuke Shibayama	882d619dcc	fix: type-parameter instantiation bugs	2023-04-29 23:14:39 +09:00
Shunsuke Shibayama	66cac2ccc2	fix: bugs & remove TypeCmpCache	2023-04-27 13:10:33 +09:00
Shunsuke Shibayama	b3e09f213f	fix: type inference failure of as operator ... Now the `as` operator is a kind of type ascription, i.e., a special operator.	2023-04-26 23:41:35 +09:00
Shunsuke Shibayama	3cc168182b	feat: add typing.cast	2023-04-19 01:16:39 +09:00
Shunsuke Shibayama	839133863f	feat: enhance assert casting	2023-04-16 23:32:52 +09:00
Shunsuke Shibayama	32eb893d9d	fix(els): local variables completion bug	2023-03-31 12:39:16 +09:00
Shunsuke Shibayama	5876c24830	feat: isinstance narrowing	2023-03-29 11:24:53 +09:00
Shunsuke Shibayama	99d72ab4ef	fix: type-instantiation bug	2023-03-24 19:02:32 +09:00
Shunsuke Shibayama	29b725423d	fix: internal representation of user-defined types	2023-03-16 01:00:13 +09:00
Shunsuke Shibayama	e0d5cd2748	chore: update Dummy	2023-03-15 12:08:45 +09:00
Shunsuke Shibayama	ee0366cfb4	fix: constant attribute searching bugs	2023-03-11 14:21:15 +09:00
Shunsuke Shibayama	1293fa58c8	refactor: Reorderer -> ASTLinker, Linker -> HIRLinker	2023-03-07 20:18:30 +09:00
Shunsuke Shibayama	d92f5284c8	feat: add restricted visibility syntax	2023-03-05 02:19:18 +09:00
Shunsuke Shibayama	dd36942256	feat: implement some typevar-related syntax sugar ... * add `TypeBoundSpec::Omitted` * add `TypeAppArgsKind`	2023-03-01 23:35:19 +09:00
Shunsuke Shibayama	536872b735	refactor: remove unnecessary fields (commas) in structs	2023-02-27 12:18:34 +09:00
Shunsuke Shibayama	1aa83f140a	chore(els): improve signature help	2023-02-27 12:01:09 +09:00
Shunsuke Shibayama	d459151cd0	chore: improve error messages	2023-02-26 12:01:17 +09:00
Shunsuke Shibayama	aaa259d6c0	feat: add ConstTypeAsc	2023-02-23 20:17:59 +09:00
Shunsuke Shibayama	aaa6b40b24	feat: support Structural types for methods	2023-02-23 18:12:05 +09:00
Shunsuke Shibayama	c9dda183ab	feat: implement Structural types	2023-02-23 01:37:54 +09:00
Shunsuke Shibayama	d1ee28db78	fix: method decls visibility bug	2023-02-17 01:51:11 +09:00
Shunsuke Shibayama	b4b02fd0f6	feat: implement methods declaration syntax	2023-02-17 01:26:04 +09:00
Shunsuke Shibayama	f3fd5e3eeb	feat(els): support module renaming	2023-02-14 16:23:45 +09:00
Shunsuke Shibayama	b1a3e97334	fix: crash	2023-02-12 11:04:41 +09:00
Shunsuke Shibayama	af0fff8226	fix(compiler): runtime type matching system	2023-02-12 01:34:12 +09:00
Shunsuke Shibayama	d8f4d14abd	feat(parser): add type_spec_to_expr	2023-02-06 12:04:15 +09:00
Shunsuke Shibayama	a2a55b0645	refactor: rem impl_stream_for_wrapper and merge into impl_stream	2023-02-06 04:11:25 +09:00
Shunsuke Shibayama	208433d337	Fix a bug	2023-02-01 10:54:23 +09:00