689 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	4b4ec163aa	Merge branch 'main' into closure	2023-10-21 14:05:29 +09:00
Shunsuke Shibayama	7ffb09dbe4	fix(els): builtin modules completion	2023-10-21 11:49:22 +09:00
Shunsuke Shibayama	282c82aea3	fix: attribute type inference bug	2023-10-21 00:17:17 +09:00
Shunsuke Shibayama	c1f6e4b900	fix: type coercion bug	2023-10-20 23:39:01 +09:00
Shunsuke Shibayama	8c5d70ca4f	fix: infinite tyvar recursion bug	2023-10-20 23:10:47 +09:00
Shunsuke Shibayama	e61fdce4a5	fix: closure codegen bug	2023-10-20 12:26:57 +09:00
Shunsuke Shibayama	4012b323d5	fix: closure codegen bug	2023-10-19 18:10:03 +09:00
Shunsuke Shibayama	0bfd4044b5	fix: infer order bug	2023-10-19 01:47:20 +09:00
Shunsuke Shibayama	33f6bac20d	chore: trait forward reference	2023-10-19 00:55:18 +09:00
Shunsuke Shibayama	06898bd793	chore: improve type inference system	2023-10-18 16:46:06 +09:00
Shunsuke Shibayama	d0bae66450	fix: bytes type definition	2023-10-18 15:07:36 +09:00
Shunsuke Shibayama	5096843bc5	fix: array type inffering	2023-10-16 23:16:39 +09:00
Shunsuke Shibayama	e6cf329f97	fix: type alias bug	2023-10-16 18:34:19 +09:00
Shunsuke Shibayama	0c6c5e363f	Update semver.er	2023-10-16 14:01:09 +09:00
Shunsuke Shibayama	0fea05a9b4	feat: add tomllib module	2023-10-16 13:31:05 +09:00
Shunsuke Shibayama	55f24ae5a6	Update semver.er	2023-10-16 11:40:02 +09:00
Shunsuke Shibayama	2d2c5dcdd7	fix: fast-value codegen bug	2023-10-15 23:29:49 +09:00
Shunsuke Shibayama	14729c94f4	chore: VarInfo.impl_of: Option<Type> -> ctx: ContextKind	2023-10-15 17:41:22 +09:00
Shunsuke Shibayama	1a056b1b0e	fix!: let return/yield to be a private method	2023-10-15 13:51:09 +09:00
Shunsuke Shibayama	9d0b9e042b	fix: binop codegen bug	2023-10-15 13:11:28 +09:00
Shunsuke Shibayama	a96445cca6	chore: improve effect error messages	2023-10-15 12:12:23 +09:00
Shunsuke Shibayama	08770e84fc	feat: add unsound module	2023-10-15 11:51:27 +09:00
Shunsuke Shibayama	fc75151f2a	feat: add Frame type	2023-10-14 23:42:27 +09:00
Shunsuke Shibayama	0a24c0cb77	fix: dict update! bug	2023-10-14 21:38:12 +09:00
Shunsuke Shibayama	a8c1113df7	fix: minor bugs	2023-10-14 19:39:07 +09:00
Shunsuke Shibayama	5365c87cb4	fix: relax side effect check	2023-10-14 11:06:36 +09:00
Shunsuke Shibayama	29e49616b9	Update transpile.rs	2023-10-14 00:54:00 +09:00
Shunsuke Shibayama	fdb7c69431	chore: avoid type var recursion	2023-10-12 16:12:10 +09:00
Shunsuke Shibayama	e6b56d4469	fix: match type check	2023-10-12 11:30:33 +09:00
Shunsuke Shibayama	3f4520d1d3	fix: ignore too many args error	2023-10-11 22:29:24 +09:00
Shunsuke Shibayama	22096ceccf	feat: improve error message for missing args	2023-10-11 22:08:39 +09:00
Shunsuke Shibayama	5e580422c3	fix: mutable array type bug	2023-10-11 21:29:53 +09:00
Shunsuke Shibayama	157ed4549e	Update inquire.rs	2023-10-11 20:03:07 +09:00
Shunsuke Shibayama	a71c908df5	Update transpile.rs	2023-10-11 13:12:20 +09:00
Shunsuke Shibayama	296e7f763c	chore: add parameter Parser to PackageBuilder	2023-10-11 12:21:48 +09:00
Shunsuke Shibayama	acee0e0609	chore: add parameter Builder to PackageBuilder	2023-10-11 11:46:23 +09:00
Shunsuke Shibayama	a31f23a093	fix: module cache bug	2023-10-11 03:59:11 +09:00
Shunsuke Shibayama	c14a60e329	fix: import bug	2023-10-09 10:32:02 +09:00
Shunsuke Shibayama	e6a75e80df	chore: use NormalizedPathBuf	2023-10-08 18:16:31 +09:00
Shunsuke Shibayama	23b696ca1e	Update build_package.rs	2023-10-08 14:29:16 +09:00
Shunsuke Shibayama	605154da28	chore!: ErgMode::{TypeCheck, FullCheck} -> Check	2023-10-08 14:07:51 +09:00
Shunsuke Shibayama	450eafe8aa	refactor: Planner -> PackageBuilder	2023-10-08 14:06:42 +09:00
Shunsuke Shibayama	d13c0e959d	fix: deadlock bug	2023-10-08 14:03:13 +09:00
Shunsuke Shibayama	f676f22d6c	fix: planner bug	2023-10-08 02:15:25 +09:00
Shunsuke Shibayama	a1a89cab27	Merge branch 'main' into planner	2023-10-08 00:07:47 +09:00
Shunsuke Shibayama	92bb79885a	fix: type spec bug	2023-10-08 00:07:13 +09:00
Shunsuke Shibayama	6bbd71f8bd	chore: add Context::mod_cached	2023-10-07 15:16:16 +09:00
Shunsuke Shibayama	6e2abac74e	chore: add InlineModule.input	2023-10-07 14:54:37 +09:00
Shunsuke Shibayama	316ed62555	Merge branch 'main' into planner	2023-10-07 14:50:23 +09:00
Shunsuke Shibayama	6cc4e19827	chore: add debug-mode assertions	2023-10-07 14:49:10 +09:00