379 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	0d43299cce	fix: subroutine-subtyping bugs	2023-04-14 18:32:17 +09:00
Shunsuke Shibayama	2c1a6ffff2	fix: remove Tuple.__call__	2023-04-14 09:26:45 +09:00
Shunsuke Shibayama	7c9e47d015	build: add target armv7-unknown-linux-gnueabihf, aarch64-unknown-linux-gnu	2023-04-12 15:20:19 +09:00
Shunsuke Shibayama	5dbcb7721c	build: update version (v0.6.10)	2023-04-12 12:50:46 +09:00
Shunsuke Shibayama	9f110aeef4	fix: infinite recursion bug	2023-04-12 12:48:22 +09:00
Shunsuke Shibayama	f263092bce	build: update version (nightly.3)	2023-04-12 00:51:42 +09:00
Shunsuke Shibayama	6e9c87f3d7	Update typing.d.er	2023-04-12 00:47:28 +09:00
Shunsuke Shibayama	d87a75b033	build: update version (nightly.2)	2023-04-12 00:04:48 +09:00
Shunsuke Shibayama	4a46e8f5a8	chore(els): display hover etc. even when check fails	2023-04-11 18:55:09 +09:00
Shunsuke Shibayama	a4ace1caae	feat: add Array!.d.er	2023-04-11 11:22:24 +09:00
Shunsuke Shibayama	1e1525270f	Update eval.rs	2023-04-10 23:52:36 +09:00
Shunsuke Shibayama	d07ceb30e1	fix: sync_to_translation_status.er	2023-04-10 23:37:01 +09:00
Shunsuke Shibayama	fc85265d9f	fix: union types bug & multi-pattern def bug	2023-04-10 22:26:46 +09:00
Shunsuke Shibayama	7c8b8a66a1	fix: Context::union/intersection	2023-04-10 11:51:45 +09:00
Shunsuke Shibayama	3ed863cef6	fix: infinite recursion	2023-04-10 00:38:41 +09:00
Shunsuke Shibayama	2ac004b51e	fix(codegen): eliminate unwraps	2023-04-09 21:06:48 +09:00
Shunsuke Shibayama	a484f0ff9a	fix: misuse forced_undoable_link	2023-04-07 23:45:10 +09:00
Shunsuke Shibayama	54db53bc02	build: update version (nightly.1)	2023-04-07 11:22:20 +09:00
Shunsuke Shibayama	ed82f79866	feat: add "command" to compiler options	2023-04-07 11:19:51 +09:00
Shunsuke Shibayama	cb8ce481d7	fix: #411	2023-04-07 10:21:06 +09:00
Shunsuke Shibayama	0c47c95f25	feat: check doc comments by the compiler	2023-04-06 23:41:24 +09:00
Shunsuke Shibayama	777af37de7	fix(lexer): multi-line token location	2023-04-06 22:39:16 +09:00
Shunsuke Shibayama	76a05b9916	fix(els): eliminate_top_indent ... rename to `trim_eliminate_top_indent`	2023-04-06 19:13:48 +09:00
Shunsuke Shibayama	018080be41	fix: nested array bugs	2023-04-05 11:47:15 +09:00
Shunsuke Shibayama	84bd0259eb	fix: tuple attribute lexing bugs	2023-04-03 22:36:30 +09:00
Shunsuke Shibayama	cf0ebc67cf	fix: eliminate Box::leak	2023-04-03 20:50:41 +09:00
Shunsuke Shibayama	a8511b77cc	feat(lexer): impl line continuation	2023-04-03 13:01:25 +09:00
Shunsuke Shibayama	f00ee2dc74	fix: Context::fields with module types	2023-04-03 11:34:37 +09:00
Shunsuke Shibayama	f39e05ff82	fix: improve error msg of get_attr_type_by_name	2023-04-02 12:36:53 +09:00
Shunsuke Shibayama	b7fb670adf	fix: minor bugs	2023-04-02 01:43:05 +09:00
Shunsuke Shibayama	c8ecb9903e	refactor: Type::Fluctuation -> Type::Bounded	2023-04-01 22:52:02 +09:00
Shunsuke Shibayama	95b29a6f08	build: update version (nightly.0)	2023-04-01 21:57:53 +09:00
Shunsuke Shibayama	755f06bab3	test: check the number of warnings	2023-04-01 21:53:22 +09:00
Shunsuke Shibayama	0329b1a2e3	chore: add Dereferencer	2023-04-01 18:08:15 +09:00
Shunsuke Shibayama	16b35ad64a	build: update version (v0.6.9)	2023-04-01 09:04:02 +09:00
Shunsuke Shibayama	7c9970f140	fix: smallest type selection	2023-04-01 08:58:30 +09:00
Shunsuke Shibayama	b0959b13e7	fix(els): file data inconsistencies	2023-03-31 19:49:49 +09:00
Shunsuke Shibayama	ca83d090a3	chore: add NormalizedUrl	2023-03-31 15:14:30 +09:00
Shunsuke Shibayama	32eb893d9d	fix(els): local variables completion bug	2023-03-31 12:39:16 +09:00
Shunsuke Shibayama	dd1705bba5	build: update version (nightly)	2023-03-31 01:26:07 +09:00
Shunsuke Shibayama	e232b6a518	fix: sub-unification problem	2023-03-31 00:37:09 +09:00
Shunsuke Shibayama	6f334b6bcc	refactor: Equal -> Assign	2023-03-30 01:27:51 +09:00
Shunsuke Shibayama	3f66981c5c	refactor: py_compatible -> py_compat	2023-03-30 00:43:30 +09:00
Shunsuke Shibayama	fd2b7a18dc	build: update version	2023-03-29 22:19:57 +09:00
Shunsuke Shibayama	d039e21628	feat: fix bugs	2023-03-29 21:03:07 +09:00
Shunsuke Shibayama	37ef01c89a	feat: comparison narrowing	2023-03-29 15:35:45 +09:00
Shunsuke Shibayama	5876c24830	feat: isinstance narrowing	2023-03-29 11:24:53 +09:00
Shunsuke Shibayama	ccf02405d8	feat: add ==/!= narrowing	2023-03-29 01:32:29 +09:00
Shunsuke Shibayama	fc3fe5de0c	feat: implement type-narrowing ... * `in` narrowing	2023-03-28 02:00:42 +09:00
Shunsuke Shibayama	824075f7ee	feat: add FrozenSet, MemoryView	2023-03-26 11:23:28 +09:00