28 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	0868e5fb23	feat: error-tolerant lowering	2024-08-22 00:43:56 +09:00
Shunsuke Shibayama	4396695ad6	fix: default parameter bug	2024-04-24 13:54:56 +09:00
Shunsuke Shibayama	7d6ea6cf77	chore: add sub_unify_with_coercion	2024-03-21 14:00:26 +09:00
Shunsuke Shibayama	c74513f507	fix: eliminate unwraps	2024-02-24 23:02:59 +09:00
Shunsuke Shibayama	21c937e633	chore: add hir::Methods	2023-11-05 01:18:32 +09:00
Shunsuke Shibayama	51c7b0778d	chore: let HIRBuilder/ASTLowerer be generic	2023-11-03 03:03:11 +09:00
Shunsuke Shibayama	38f44e8d31	fix(els): use NormalizedPathBuf for AbsLocation	2023-09-13 23:26:05 +09:00
Shunsuke Shibayama	edd80e4543	fix: subtract overflow	2023-09-05 20:59:01 +09:00
Shunsuke Shibayama	75b5b68831	feat: introduce bidirectional type checking	2023-09-05 16:44:38 +09:00
Shunsuke Shibayama	0c89ca99cd	chore: impl TryFrom<Expr> for $Variant	2023-09-02 00:55:51 +09:00
Shunsuke Shibayama	f3b188e095	feat: support recursive class definition	2023-08-25 21:02:47 +09:00
Shunsuke Shibayama	936b6e2f95	chore: eliminate clippy warns	2023-08-24 23:38:27 +09:00
Shunsuke Shibayama	3eb2d439ca	fix: eliminate of unnecessary file escapes	2023-07-26 17:53:29 +09:00
Shunsuke Shibayama	eaeb659a7d	fix: errors in other modules are ignored	2023-06-22 16:32:10 +09:00
Shunsuke Shibayama	324618dbdc	chore(parser): return AST and Warnings	2023-06-09 02:36:41 +09:00
Shunsuke Shibayama	b8b312caad	chore: eliminate unsafe operations	2023-05-28 10:31:39 +09:00
Shunsuke Shibayama	2fce9bda3b	fix(els): eliminate unwraps	2023-05-04 19:05:27 +09:00
Shunsuke Shibayama	fc85265d9f	fix: union types bug & multi-pattern def bug	2023-04-10 22:26:46 +09:00
Shunsuke Shibayama	0c47c95f25	feat: check doc comments by the compiler	2023-04-06 23:41:24 +09:00
Shunsuke Shibayama	2d04d4d424	fix: indexing of type specs	2023-03-11 16:31:20 +09:00
Shunsuke Shibayama	aa2cea60dd	fix: quantified subroutine subtyping bugs	2023-02-22 02:40:51 +09:00
Shunsuke Shibayama	5d90029f09	perf: delaying execution of .loc()	2023-02-15 01:08:49 +09:00
Shunsuke Shibayama	da7ff0a258	fix(compiler): issue with warns about other files	2023-02-13 12:26:15 +09:00
Shunsuke Shibayama	b1a3e97334	fix: crash	2023-02-12 11:04:41 +09:00
Shunsuke Shibayama	92614ce8d2	feat(compiler): add hint for unused subroutines	2023-02-11 16:11:19 +09:00
Shunsuke Shibayama	06b4df6568	fix(REPL): suppress unused vars warn in REPL	2023-02-08 00:12:52 +09:00
Shunsuke Shibayama	f6f58d7678	feat(compiler): impl warns for unused private vars	2023-02-06 18:15:17 +09:00
Shunsuke Shibayama	f5a3d32728	WIP	2023-02-06 17:04:12 +09:00