26 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	3ae3fd997b	WIP: Impl TyParamIdx	2022-08-22 13:41:59 +09:00
Shunsuke Shibayama	b01f95a6d8	WIP: support doc test	2022-08-22 12:47:51 +09:00
Shunsuke Shibayama	93561f56b1	Add test code for Context	2022-08-22 12:30:58 +09:00
Shunsuke Shibayama	b86f7ea5f5	WIP: Context::instantiate_trait	2022-08-22 12:11:59 +09:00
Shunsuke Shibayama	23ada0e6e4	Fix Context::deref_tyvar	2022-08-22 03:11:18 +09:00
Shunsuke Shibayama	e54b627507	Fix type-checker bugs	2022-08-22 02:57:52 +09:00
Shunsuke Shibayama	b0273a1bca	Update context.rs	2022-08-21 17:42:56 +09:00
Shunsuke Shibayama	14c77e604d	Add type_sort()	2022-08-20 09:47:15 +09:00
Shunsuke Shibayama	4ba1f4f59a	Remove ConstObj (merge into ValueObj)	2022-08-20 07:38:33 +09:00
Shunsuke Shibayama	40d4b6da1d	Update Parser: support for length-specified arrays	2022-08-19 19:35:02 +09:00
Shunsuke Shibayama	27379b1e95	Refactor context.rs	2022-08-19 16:37:34 +09:00
Shunsuke Shibayama	e36746f964	Fix Array type inference	2022-08-19 10:43:57 +09:00
Shunsuke Shibayama	5fb55401e6	Fix match type inference bugs	2022-08-19 02:51:14 +09:00
Shunsuke Shibayama	791107cdd3	Fixed a type inference bugs ... Pass source code line numbers instead of error numbers as a temporary hack	2022-08-19 01:33:05 +09:00
ShantanuKumar	4e7be1400b	cargo fmt	2022-08-17 11:21:09 +02:00
Shunsuke Shibayama	ed61bc3181	Stricter type-check	2022-08-17 12:31:28 +09:00
Shunsuke Shibayama	4e91cb81cb	Merge branch 'main' into clippy	2022-08-17 01:26:00 +09:00
Shunsuke Shibayama	8028ed8431	Update version (v0.2.3) ... Many type inference bugs have been fixed in this version. Other changes: Fix: REPL server starts for file input Improve: Error messages now show operators as human-readable	2022-08-16 23:27:09 +09:00
Félix Saparelli	8efffbfbc0	Apply formatting	2022-08-15 17:44:15 +12:00
Félix Saparelli	7d3116f546	Apply trivial clippy fixes	2022-08-15 17:37:20 +12:00
Shunsuke Shibayama	6d3dda8129	WIP: Impl Context::monomorphise ... Impled: TyVarContext::sort_bounds	2022-08-15 03:39:45 +09:00
Shunsuke Shibayama	1c3a3a7d0b	Cargo fmt	2022-08-14 01:45:15 +09:00
Shunsuke Shibayama	e1a5b726aa	Update context.rs	2022-08-14 01:17:55 +09:00
Shunsuke Shibayama	30f6e98715	Fix polymorphic type infering bugs ... Delete: DefaultParamSignarure Add: some convinient APIs (py, p!) Inferences can now be made that take into account the variance of polymorphic types	2022-08-14 00:45:55 +09:00
Shunsuke Shibayama	6726d93f65	Do cargo fmt	2022-08-13 07:02:07 +09:00
Shunsuke Shibayama	f9d91aa38e	Organize crates	2022-08-13 06:38:12 +09:00

Renamed from src/erg_compiler/context.rs (Browse further)