18 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	c74513f507	fix: eliminate unwraps	2024-02-24 23:02:59 +09:00
Shunsuke Shibayama	e236a65c21	fix: refinement type assert cast bug	2024-02-14 20:09:13 +09:00
Shunsuke Shibayama	134cb1254c	fix: test failures	2024-02-09 23:21:05 +09:00
Shunsuke Shibayama	f834585083	feat: impl setter for AST elements	2023-11-16 16:15:29 +09:00
Shunsuke Shibayama	6713ffeaae	fix: forward-referenced method inference bug	2023-10-29 21:24:40 +09:00
Shunsuke Shibayama	fdb7c69431	chore: avoid type var recursion	2023-10-12 16:12:10 +09:00
Shunsuke Shibayama	2e8810f10d	fix: occur check bug	2023-08-18 11:57:54 +09:00
Shunsuke Shibayama	83beaea214	fix: type substitution bugs	2023-08-15 13:55:21 +09:00
Shunsuke Shibayama	27f191b687	fix: structural Predicate comparison	2023-08-07 23:14:11 +09:00
Shunsuke Shibayama	d75ac0c17b	chore: add erg_common::io module	2023-06-09 12:11:13 +09:00
Shunsuke Shibayama	324618dbdc	chore(parser): return AST and Warnings	2023-06-09 02:36:41 +09:00
Shunsuke Shibayama	1a26c841a9	test: fix stack overflow	2023-06-02 23:13:11 +09:00
Shunsuke Shibayama	40762bf8cf	fix: union/intersection types bugs	2023-03-20 14:48:34 +09:00
Shunsuke Shibayama	a5ce33f2c4	refactor: inst (instance) -> imp (impl)	2023-03-19 23:24:00 +09:00
Shunsuke Shibayama	aa2cea60dd	fix: quantified subroutine subtyping bugs	2023-02-22 02:40:51 +09:00
Shunsuke Shibayama	4dcca2b06d	fix(typechecker): type generalization & dereference bugs ... * `Context::subtype_of` now has `allow_cast` param. If this is `false`, cast-aware comparisons are not performed.	2023-02-21 17:04:52 +09:00
Shunsuke Shibayama	d0c53e456e	test: add type check tests	2023-02-20 22:29:44 +09:00
Shunsuke Shibayama	a127564b31	Rename dir: compiler -> crates	2023-01-15 12:03:19 +09:00